On the Semantics of Temporal Logic Programming (Preliminary Repart)
暂无分享,去创建一个
[1] Michael J. Maher,et al. Unification Revisited , 1988, Foundations of Deductive Databases and Logic Programming..
[2] J. W. de Bakker,et al. Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.
[3] David A. Schmidt. Denotational Semantics: A Methodology for Language Development by Phil , 1987 .
[4] Joseph E. Stoy,et al. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .
[5] Neil D. Jones,et al. Stepwise Development of Operational and Denotational Semantics for Prolog , 1984, International Conference on Spoken Language Processing.
[6] Masahiro Fujita,et al. Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog , 1986, ICLP.
[7] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.
[8] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[9] Marianne Baudinet,et al. Proving termination properties of Prolog programs: a semantic approach , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[10] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[11] Saumya K. Debray,et al. Denotational and Operational Semantics for Prolog , 1988, J. Log. Program..
[12] Martín Abadi,et al. Temporal Logic Programming , 1989, J. Symb. Comput..
[13] Zohar Manna,et al. Deductive Synthesis of the Unification Algorithm , 1981, Sci. Comput. Program..
[14] Ben C. Moszkowski,et al. Executing temporal logic programs , 1986, Seminar on Concurrency.
[15] Krzysztof R. Apt,et al. Introduction to Logic Programming , 1988 .
[16] Martín Abadi,et al. Temporal-logic theorem proving , 1987 .
[17] Dov M. Gabbay,et al. Modal and temporal logic programming , 1987 .
[18] Keith L. Clark. Predicate logic as a computational formalism , 1979 .
[19] Elmar Eder. Properties of Substitutions and Unifications , 1983, GWAI.
[20] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.