-
2
-
-
0025419613
-
Nonclausal deduction in first-order temporal logic
-
M. Abadi and Z. Manna. Nonclausal deduction in first-order temporal logic. ACM Journal, 37, 279-317, 1990.
-
(1990)
ACM Journal
, vol.37
, pp. 279-317
-
-
Abadi, M.1
Manna, Z.2
-
3
-
-
84955604920
-
Temporal logic with fixed points
-
Proceedings of Colloquium on Temporal Logic in Specification, Altrincham, UK, B. Banieqbal, H. Barringer and A. Pnueli, eds. Springer Verlag
-
B. Banieqbal and H. Barringer. Temporal logic with fixed points. In Proceedings of Colloquium on Temporal Logic in Specification, Altrincham, UK, B. Banieqbal, H. Barringer and A. Pnueli, eds. pp. 62-74, Vol. 398 of Lecture Notes in Computer Science, Springer Verlag, 1987.
-
(1987)
Lecture Notes in Computer Science
, vol.398
, pp. 62-74
-
-
Banieqbal, B.1
Barringer, H.2
-
4
-
-
85027599669
-
METATEM: A framework for programming in temporal logic
-
Proceedings of REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctn ess, Mook, Netherlands, June 1989 Springer Verlag
-
H. Barringer, M. Fisher, D. Gabbay, G. Cough, and R. Owens. METATEM: a framework for programming in temporal logic. In Proceedings of REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctn ess, Mook, Netherlands, June 1989. Vol. 430 of Lecture Notes in Computer Science, Springer Verlag, 1989.
-
(1989)
Lecture Notes in Computer Science
, vol.430
-
-
Barringer, H.1
Fisher, M.2
Gabbay, D.3
Cough, G.4
Owens, R.5
-
5
-
-
0029423744
-
METATEM: An introduction
-
H. Barringer, M. Fisher, D. Gabbay, G. Gough and R. Owens. METATEM: an introduction. Formal Aspects of Computing, 7, 533-549, 1995.
-
(1995)
Formal Aspects of Computing
, vol.7
, pp. 533-549
-
-
Barringer, H.1
Fisher, M.2
Gabbay, D.3
Gough, G.4
Owens, R.5
-
6
-
-
0003822985
-
Meta-reasoningin executable temporal logic
-
J. Allen, R. Fikes and E. Sandewall, eds. Morgan Kaufmann, Cambridge, MA
-
H. Barringer, M. Fisher, D. Gabbay and A. Hunter. Meta-reasoningin executable temporal logic. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), J. Allen, R. Fikes and E. Sandewall, eds. Morgan Kaufmann, Cambridge, MA, 1991.
-
(1991)
Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR)
-
-
Barringer, H.1
Fisher, M.2
Gabbay, D.3
Hunter, A.4
-
7
-
-
84972526396
-
Axioms for tense logic; 1 - 'Since' and 'Until'
-
J. Burgess. Axioms for tense logic; 1 - 'Since' and 'Until'. Notre Dame Journal of Formal Logic, 23, 367-374, 1982.
-
(1982)
Notre Dame Journal of Formal Logic
, vol.23
, pp. 367-374
-
-
Burgess, J.1
-
8
-
-
84976651772
-
A decision method for linear temporal logic
-
Proceedings of the 7th International Conference on Automated Deduction, R. E. Shostak, ed. Springer Verlag
-
A. Cavali and L. Fariñas del Cerro. A decision method for linear temporal logic. In Proceedings of the 7th International Conference on Automated Deduction, R. E. Shostak, ed. pp. 113-127, Vol. 170 of Lecture Notes in Computer Science, Springer Verlag, 1984.
-
(1984)
Lecture Notes in Computer Science
, vol.170
, pp. 113-127
-
-
Cavali, A.1
Fariñas Del Cerro, L.2
-
9
-
-
9444230039
-
The use of renaming to improve the efficiency of clausal theorem proving
-
Ph. Jorrand and V. Sgurev, eds. Elsevier Science Publishers B.V., North-Holland
-
T. Boy de-la Tour and G. Chaminade. The use of renaming to improve the efficiency of clausal theorem proving. In Artificial Intelligence IV: Methodology. Systems, Applications, Ph. Jorrand and V. Sgurev, eds. pp. 3-12. Elsevier Science Publishers B.V., North-Holland, 1990.
-
(1990)
Artificial Intelligence IV: Methodology. Systems, Applications
, pp. 3-12
-
-
Boy De-la Tour, T.1
Chaminade, G.2
-
11
-
-
0001449325
-
Temporal and modal logic
-
J. van Leeuwen, ed. Elsevier
-
E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, J. van Leeuwen, ed. pp. 996-1072. Elsevier, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, pp. 996-1072
-
-
Emerson, E.A.1
-
15
-
-
77956810885
-
A survey of concurrent METATEM - The language and its applications
-
First International Conference on Temporal Logic (ICTL), Bonn, Germany, July 1994. Springer Verlag
-
M. Fisher. A survey of concurrent METATEM - the language and its applications. In First International Conference on Temporal Logic (ICTL), Bonn, Germany, July 1994. Vol. 827 of Lecture Notes in Computer Science, Springer Verlag, 1994.
-
(1994)
Lecture Notes in Computer Science
, vol.827
-
-
Fisher, M.1
-
16
-
-
9744264600
-
Transformation and synthesis in METATEM - Part I: Prepositional METATEM
-
Department of Computer Science, University of Manchester, Manchester, February
-
M. Fisher and P. Noël. Transformation and synthesis in METATEM - part I: prepositional METATEM. Technical Report UMCS-92-2-1, Department of Computer Science, University of Manchester, Manchester, February 1992.
-
(1992)
Technical Report UMCS-92-2-1
-
-
Fisher, M.1
Noël, P.2
-
17
-
-
85020804125
-
From the past to the future: Executing temporal logic programs
-
Proceedings of Logic Programming and Automated Reasoning (LPAR), St Petersberg, Russia, July 1992. Springer Verlag
-
M. Fisher and R. Owens. From the past to the future: executing temporal logic programs. In Proceedings of Logic Programming and Automated Reasoning (LPAR), St Petersberg, Russia, July 1992. Vol. 624 of Lecture Notes in Computer Science, Springer Verlag, 1992.
-
(1992)
Lecture Notes in Computer Science
, vol.624
-
-
Fisher, M.1
Owens, R.2
-
19
-
-
84957630701
-
A normal form for first-order temporal formulae
-
Proceedings of Eleventh International Conference on Automated Deduction (CADE), Saratoga Springs, New York, June 1992 Springer Verlag
-
M. Fisher. A normal form for first-order temporal formulae. In Proceedings of Eleventh International Conference on Automated Deduction (CADE), Saratoga Springs, New York, June 1992. Vol. 607 of Lecture Notes in Computer Science, Springer Verlag, 1992.
-
(1992)
Lecture Notes in Computer Science
, vol.607
-
-
Fisher, M.1
-
20
-
-
33646558732
-
Concurrent METATEM - A language for modeling reactive systems
-
Parallel Architectures and Languages, Europe (PARLE), Munich, Germany. Springer Verlag
-
M. Fisher. Concurrent METATEM - a language for modeling reactive systems. In Parallel Architectures and Languages, Europe (PARLE), Munich, Germany. Vol. 694 of Lecture Notes in Computer Science, Springer Verlag, 1993.
-
(1993)
Lecture Notes in Computer Science
, vol.694
-
-
Fisher, M.1
-
21
-
-
0030100531
-
An introduction to executable temporal logics
-
M. Fisher. An introduction to executable temporal logics. Knowledge Engineering Review, 11, 43-56, 1996.
-
(1996)
Knowledge Engineering Review
, vol.11
, pp. 43-56
-
-
Fisher, M.1
-
22
-
-
0019112115
-
The temporal analysis of fairness
-
Las Vegas, Nevada
-
D. Gabbay, A. Pnueli, S. Shelah and J. Stavi. The temporal analysis of fairness. In Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages, Las Vegas, Nevada, pp. 163-173, 1980.
-
(1980)
Proceedings of the Seventh ACM Symposium on the Principles of Programming Languages
, pp. 163-173
-
-
Gabbay, D.1
Pnueli, A.2
Shelah, S.3
Stavi, J.4
-
23
-
-
0001659334
-
Declarative past and imperative future: Executable temporal logic for interactive systems
-
Proceedings of Colloquium on Temporal Logic in Specification, Altrincham, UK, 1987. B. Banieqbal, H. Barringer and A. Pnueli, eds. Springer Verlag
-
D. Gabbay. Declarative past and imperative future: executable temporal logic for interactive systems. In Proceedings of Colloquium on Temporal Logic in Specification, Altrincham, UK, 1987. B. Banieqbal, H. Barringer and A. Pnueli, eds. pp. 402-450. Vol. 398 of Lecture Notes in Computer Science, Springer Verlag, 1987.
-
(1987)
Lecture Notes in Computer Science
, vol.398
, pp. 402-450
-
-
Gabbay, D.1
-
28
-
-
33746222270
-
Gentzen-type systems and resolution rules, part I: Prepositional logic
-
Springer Verlag
-
G. Mints. Gentzen-type systems and resolution rules, part I: prepositional logic. Vol. 417 of Lecture Notes in Computer Science, pp. 198-231, Springer Verlag, 1990.
-
(1990)
Lecture Notes in Computer Science
, vol.417
, pp. 198-231
-
-
Mints, G.1
-
30
-
-
84918983692
-
A machine based logic based on the resolution principle
-
J. A. Robinson. A machine based logic based on the resolution principle. ACM Journal, 12, 23-41, 1965.
-
(1965)
ACM Journal
, vol.12
, pp. 23-41
-
-
Robinson, J.A.1
-
31
-
-
0022704337
-
Automata-theoretic techniques for modal logics of programs
-
M. Y. Vardi and P. Wolper. Automata-theoretic techniques for modal logics of programs. Journal of Computer and System Sciences, 32, 183-219, 1986.
-
(1986)
Journal of Computer and System Sciences
, vol.32
, pp. 183-219
-
-
Vardi, M.Y.1
Wolper, P.2
-
32
-
-
85034811871
-
A decision method for temporal logic based on resolution
-
Springer Verlag
-
G. Venkatesh. A decision method for temporal logic based on resolution. Vol. 206 of Lecture Notes in Computer Science, pp. 272-289, Springer Verlag, 1986.
-
(1986)
Lecture Notes in Computer Science
, vol.206
, pp. 272-289
-
-
Venkatesh, G.1
-
34
-
-
0000427127
-
The tableau method for temporal logic: An overview
-
P. Wolper. The tableau method for temporal logic: an overview. Logique et Analyse, 110-111, 119-136, 1985.
-
(1985)
Logique et Analyse
, vol.110-111
, pp. 119-136
-
-
Wolper, P.1
-
35
-
-
0003588741
-
-
Prentice-Hall, Englewood Cliffs, NJ
-
L. Wos, R. Overbeek, E. Lusk and J. Boyle. Automated Reasoning - Introduction and Applications. Prentice-Hall, Englewood Cliffs, NJ, 1984.
-
(1984)
Automated Reasoning - Introduction and Applications
-
-
Wos, L.1
Overbeek, R.2
Lusk, E.3
Boyle, J.4
|