Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. R. Gnatenko
On the Expressive Power of Some Extensions of Linear Temporal Logic
Automatic Control and Computer Sciences
Control
Systems Engineering
Signal Processing
Software
Related publications
On the Expressive Power of Temporal Logic
Journal of Computer and System Sciences
Computer Networks
Applied Mathematics
Communications
Computational Theory
Mathematics
Theoretical Computer Science
The Expressive Power of Temporal Relational Query Languages
IEEE Transactions on Knowledge and Data Engineering
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Expressive Power and Complexity in Algebraic Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Regular Linear-Time Temporal Logic
On the Expressive Power of Counting
Theoretical Computer Science
Computer Science
Theoretical Computer Science
On the Expressive Power of OCL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Temporal Logic-Based Mission Planning
International Journal of Interactive Multimedia and Artificial Intelligence
Cyclic Proofs for Linear Temporal Logic
The Complexity of Linear-Time Temporal Logic Over the Class of Ordinals
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
