Amanote Research
Register
Sign In
LITO - A Logic for Indeterminate Temporal Objects
doi 10.1109/dexa.2004.1333599
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
E.P. Bezerra
U. Schiel
B. Lula
Publisher
IEEE
Related search
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