On the Expressive Power of Temporal Logic

Journal of Computer and System Sciences - United States
doi 10.1016/0022-0000(93)90005-h
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

On the Expressive Power of Some Extensions of Linear Temporal Logic

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2019English

The Expressive Power of Temporal Relational Query Languages

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
1997English

Expressive Power and Complexity in Algebraic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

On the Expressive Power of Counting

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1995English

On the Expressive Power of OCL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

The Expressive Power of Parallelism

Future Generation Computer Systems
HardwareComputer NetworksSoftwareArchitectureCommunications
1990English

Relative Expressive Power of Navigational Querying on Graphs

Information Sciences
ControlSystems EngineeringManagementTheoretical Computer ScienceComputer Science ApplicationsInformation SystemsArtificial IntelligenceSoftware
2015English

Expressive Power of Pebble Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

The Expressive Power of Indeterminate Dataflow Primitives

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1992English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy