Calculus of Constituents: A Decidable Fragment of Second Order PL

Journal of Automatic Control
doi 10.2298/jac0601047i
Full Text
Abstract

Available in full text

Date
Authors
Publisher

National Library of Serbia

Related search

Monitoring for a Decidable Fragment of MTL- $$\Int $$

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Cut-Eliminability in Second Order Logic Calculus

Annals of the Japan Association for Philosophy of Science
2018English

Extending Pruning Techniques to Polymorphic Second Order Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

A Resolution Calculus for First-Order Schemata

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

A Second‐order Cybernetics of Otherness

Systems Research
1996English

Dynamics of Externalities: A Second-Order Perspective

2011English

The Completeness of the First-Order Functional Calculus

Journal of Symbolic Logic
PhilosophyLogic
1949English

PL-Submanifolds and Homology Classes of a PL-Manifold

Nagoya Mathematical Journal
Mathematics
1967English

Measurable Approximation of a Second-Order Process

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1987English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy