Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by W Penczek
A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems
DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Related publications
A Ground-Complete Axiomatization of Stateless Bisimilarity Over Linda
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Proof Planning for First-Order Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Induction=I-Axiomatization+First-Order Consistency
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Ground-Negative Fragment of First-Order Logic Is -Complete
Journal of Symbolic Logic
Philosophy
Logic
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic
Robotic Intelligence
A Short Tutorial on Order-Invariant First-Order 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
The Axiomatization of Propositional Logic
Formalized Mathematics
Computational Mathematics
Applied Mathematics
