Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by E.P. Bezerra
LITO - A Logic for Indeterminate Temporal Objects
Related publications
A Temporal Logic Based Framework for Intrusion Detection
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Modal Temporal Logic for Reasoning About Change
Cyclic Proofs for Linear Temporal Logic
A Propositional Logic of Temporal Connectives
Logic and Logical Philosophy
Philosophy
Continuous Logic and Scheduling in Systems With Indeterminate Processing Times
Studia Humana
Temporal Logic Query Checking: A Tool for Model Exploration
IEEE Transactions on Software Engineering
Software
Fly-By-Logic: A Tool for Unmanned Aircraft System Fleet Planning Using Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Resolution Calculus for the Branching-Time Temporal Logic CTL
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Proof Planning for First-Order Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science