Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by D. P. Guelev
A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Related publications
Computation of a Canonical Form for Linear 2D Systems
International Journal of Computational Mathematics
Proof Planning for First-Order Temporal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cyclic Proofs for Linear Temporal Logic
Security Proof of the Canonical Form of Self-Synchronizing Stream Ciphers
Designs, Codes, and Cryptography
Combinatorics
Applied Mathematics
Computer Science Applications
Theoretical Computer Science
Discrete Mathematics
Regular Linear-Time Temporal Logic
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
On-Line Model-Checking for Finite Linear Temporal Logic Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Expressive Power of Some Extensions of Linear Temporal Logic
Automatic Control and Computer Sciences
Control
Systems Engineering
Signal Processing
Software
A Semi-Canonical Form for Sequential AIGs
