Amanote Research
Register
Sign In
First-Order Dynamic Logic
Lecture Notes in Computer Science
- Germany
doi 10.1007/3-540-09237-4
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 1979
Authors
Unknown
Publisher
Springer Berlin Heidelberg
Related search
Geometrisation of First-Order Logic
Bulletin of Symbolic Logic
Philosophy
Logic
Semigroups Underlying First-Order Logic
Memoirs of the American Mathematical Society
Mathematics
Applied Mathematics
CIFOL: Case-Intensional First Order Logic
Journal of Philosophical Logic
Philosophy
Literal Projection for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Blocked Clauses in First-Order Logic
A Short Tutorial on Order-Invariant First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Complexity of Existential Positive First-Order Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fixed-Point Extensions of First-Order Logic
Annals of Pure and Applied Logic
Logic
