J. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California at Los Angeles, 1968. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Shortest Counterexamples for Symbolic Model Checking of LTL.. - Schuppan, Biere (2005) (1 citation) (Correct)
No context found.
J. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California at Los Angeles, 1968.
Model-Based Runtime Analysis of Distributed Reactive Systems - Bauer, Leucker, Schallhart (Correct)
No context found.
H. W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, 1968.
Temporal Logics, Automata, and Classical Theories for.. - Henzinger Raskin And (Correct)
No context found.
J.A.W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California at Los Angeles, 1968.
TEMPORAL LOGICS OF COMPUTATIONS - Introductory course - Goranko (2000) (Correct)
No context found.
H. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, 1968.
On the Logic of TLA+ - Merz (2001) (Correct)
No context found.
H. W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, Univ. of California at Los Angeles, 1968.
Expressive Completeness of Duration Calculus - Rabinovich (2001) (4 citations) (Correct)
No context found.
H. Kamp. Tense logic and the theory of linear order. Ph.D. Thesis, Un. of California at LA, 1968. 31
The Complexity of Temporal Logic Model Checking - Schnoebelen (2003) (2 citations) (Correct)
No context found.
J. A. W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, UCLA, Los Angeles, CA, USA, 1968.
An Infinite Hierarchy of Temporal Logics over Branching Time - Rabinovich, Maoz (Correct)
No context found.
H. W. Kamp (1968). Tense logic and the theory of linear order. PhD Thesis, University of California, Los Angeles.
Conditional XPath, the first order complete XPath dialect - Marx (2004) (Correct)
No context found.
J.A.W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, U. of California, LA, 1968.
Logical Characterization of Aperiodic Data Languages - Baclet (2003) (Correct)
No context found.
H. Kamp. On tense logic and the theory of linear order. PhD thesis, UCLA, 1968.
Future Temporal Logic Needs in Finitely Many Modalities - Hirshfeld, Rabinovich (2003) (Correct)
No context found.
H.W. Kamp. Tense logic and the theory of linear order. Phd thesis, University of California, Los Angeles, 1968.
Description Logics and the Two-Variable Fragment - Lutz, Sattler, Wolter (2001) (2 citations) (Correct)
No context found.
H. Kamp. Tense Logic and the Theory of Linear Order. PhD Thesis, University of California, Los Angeles, 1968.
BTL2 and expressive completeness for ECTL+ - Rabinovich, Schnoebelen (2000) (Correct)
No context found.
J. A. W. Kamp. Tense Logic and the theory of linear order. PhD thesis, UCLA, Los Angeles, CA, USA, 1968.
Monadic Logic of Order over Naturals Has no Finite Base - Beauquier, Rabinovich (Correct)
No context found.
H.W. Kamp. Tense logic and the theory of linear order. Phd thesis, University of California, Los Angeles, 1968.
Model Theoretic Syntax and Parsing: An Application to Temporal Logic - Palm (2001) (Correct)
No context found.
Kamp, J., \Tense Logic and the Theory of Linear Order," Ph.D. thesis, University of Califormia, Los Angeles (1968).
The Mosaic Method for Temporal Logics - Maarten Marx Szabolcs (Correct)
No context found.
H. Kamp. Tense logic and the theory of linear order. PhD thesis, University of California, Los Angeles, 1968.
Fundamenta Informaticae 62 (2004) 1--28 1 IOS Press - Logics For Real (Correct)
No context found.
H. Kamp. Tense Logic and the Theory of Linear Order. Ph.D. thesis, University of California L.A. (1968).
The Topo-Approach To Spatial Representation And Reasoning - Aiello (Correct)
No context found.
J. Kamp. Tense logic and the theory of linear order. PhD thesis, University of California, Los Angeles, 1968.
Counting on CTL*: On the Expressive Power of Monadic Path Logic - Moller, Rabinovich (2003) (Correct)
No context found.
H.W. Kamp, Tense Logic and the Theory of Linear Order, PhD Thesis, University of California, Los Angeles (1968).
On Non-local Propositional and Weak Monodic Quantified CTL* - Bauer, Hodkinson, Al. (2004) (Correct)
No context found.
H. Kamp. Tense Logic and the Theory of Linear Order. PhD Thesis, University of California, Los Angeles, 1968.
Past is for Free: on the Complexity of Verifying Linear Temporal.. - Markey (2004) (5 citations) (Correct)
No context found.
J. A. W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, UCLA, Los Angeles, CA, USA, 1968.
XPath with conditional axis relations - Marx (2004) (4 citations) (Correct)
No context found.
J.A.W. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, University of California, Los Angeles, 1968.
Decidable Properties of Tree Languages - Bojanczyk (2004) (Correct)
No context found.
J. A. Kamp. Tense Logic and the Theory of Linear Order. PhD thesis, Univ. of California, Los Angeles, 1968.
Model Theoretic Syntax and Parsing: An Application to Temporal Logic - Palm (2001) (Correct)
No context found.
Kamp, J., \Tense Logic and the Theory of Linear Order," Ph.D. thesis, University of Califormia, Los Angeles (1968).
Syntactic Semigroups - Pin (1997) (24 citations) (Correct)
No context found.
J.A. Kamp, 1968, Tense logic and the theory of linear order, Ph. D. Thesis, Univ. of California, Los Angeles.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC