Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alan Smaill
Proof Planning for First-Order Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Logic Motion Planning for Mobile Robots
Literal Projection for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
First-Order Dynamic Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
Geometrisation of First-Order Logic
Bulletin of Symbolic Logic
Philosophy
Logic
