Amanote Research
Register
Sign In
Expressive Power and Complexity in Algebraic Logic
Journal of Logic and Computation
- United Kingdom
doi 10.1093/logcom/7.3.309
Full Text
Open PDF
Abstract
Available in
full text
Categories
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Date
June 1, 1997
Authors
R Hirsch
Publisher
Oxford University Press (OUP)
Related search
On the Expressive Power of Temporal Logic
Journal of Computer and System Sciences
Computer Networks
Applied Mathematics
Communications
Computational Theory
Mathematics
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
Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Algebraic Logic. IV. Equality in Polyadic Algebras
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Expressive Power of Pebble Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Expressive Power of Parallelism
Future Generation Computer Systems
Hardware
Computer Networks
Software
Architecture
Communications
Many-Valued Logic: Beyond Algebraic Semantics
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
A Sound and Complete Logic for Algebraic Effects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Continuous Petri Nets: Expressive Power and Decidability Issues
International Journal of Foundations of Computer Science
Computer Science
