Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Doose
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic
Robotic Intelligence
Scheduling Analysis Under Fault Bursts
A Mission Management System for a Fleet of Gliders
Related publications
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Planning for First-Order Temporal 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
Geometrisation of First-Order Logic
Bulletin of Symbolic Logic
Philosophy
Logic
First-Order Dynamic Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Short Tutorial on Order-Invariant First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Blocked Clauses in First-Order Logic
Semigroups Underlying First-Order Logic
Memoirs of the American Mathematical Society
Mathematics
Applied Mathematics
A Denotational Semantics for First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science