The power of temporal proofs

The power of temporal proofs

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Abadi, Martín 1963- (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Palo Alto, Calif. 1988
Schriftenreihe:	Systems Research Center <Palo Alto, Calif.>: SRC reports 30
Schlagworte:	Computer programming Logic, Symbolic and mathematical Modality (Logic) Parallel programming (Computer science) Time
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The connection between modal logic and algorithmic logics
von: Emde Boas, Peter van
Veröffentlicht: (1978)

Introduction to guarded Horn clauses
von: Ueda, Kazunori
Veröffentlicht: (1986)

Fundamentals of deductive program synthesis
von: Manna, Zohar 1939-2018, et al.
Veröffentlicht: (1992)

Parallel logic programming languages
von: Takeuchi, Akikazu, et al.
Veröffentlicht: (1986)

Parallel and constraint logic programming an introduction to logic, parallelism and constraints
von: Vlahavas, Ioannis, et al.
Veröffentlicht: (1998)

Temporal logic first International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994 ; proceedings
Veröffentlicht: (1994)

Temporal logic first International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994 ; proceedings
Veröffentlicht: (1994)

Derivation of the parallel bottom-up parser from the sequential parser
von: Takahashi, Kazuko
Veröffentlicht: (1992)

Intelligent support for office work with a Prolog-based object-oriented programming language ESP
von: Sato, Hideki, et al.
Veröffentlicht: (1986)

A declarative semantics of parallel logic programs with perpetual processes
von: Murakami, Masaki
Veröffentlicht: (1988)

Hands-on Julia programming an authoritative guide to the production-ready systems in Julia
von: Dash, Sambit Kumar
Veröffentlicht: (2022)

TLA in pictures
von: Lamport, Leslie 1941-
Veröffentlicht: (1994)

A debugger for AND OR parallel logic programming language ANDOR-II
von: Takahashi, Kazuko, et al.
Veröffentlicht: (1990)

Compiling nonlinear recursion to parallel iteration
von: Millroth, Håkan
Veröffentlicht: (1992)

A parallel algorithm for inheritance hierarchies with constraints
von: Menju, Satoshi, et al.
Veröffentlicht: (1988)

A really temporal logic
von: Alur, Rajeev, et al.
Veröffentlicht: (1989)

A preliminary note on the semantics of Guarded Horn Clauses
von: Kanamori, Tadashi, et al.
Veröffentlicht: (1988)

A distributed implementation of flat GHC on the multi-PSI
von: Ichiyoshi, Nobuyuki, et al.
Veröffentlicht: (1987)

Parallelism in logic programming
von: Ueda, Kazunori
Veröffentlicht: (1989)

Reforming compilation of logic programs
von: Millroth, Håkan
Veröffentlicht: (1991)

The design and implementation of an or-parallel logic programming system
von: Tinker, Peter A.
Veröffentlicht: (1987)

Processor element architecture for parallel inference machine: PIM p
Veröffentlicht: (1990)

Dynamics in logic and language third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, virtual event, April 1–4, 2022, revised selected papers
Veröffentlicht: (2023)

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
Veröffentlicht: (2024)

Distributed implementation of FGHC toward the realization of multi-PSI system
Veröffentlicht: (1986)

Temporal logics in computer science finite-state systems
von: Demri, Stéphane 1967-, et al.
Veröffentlicht: (2016)

Realizability toposes and language semantics
von: Longley, John R.
Veröffentlicht: (1995)

Grand timely topics in software engineering International summer school GTTSE 2015, Braga, Portugal, August 23-29, 2015 : tutorial lectures
Veröffentlicht: (2017)

Handbook of logic in artificial intelligence and logic programming, Volume 5, Logic programming
Veröffentlicht: (1998)

Logic for concurrency and synchronisation
Veröffentlicht: (2003)

Temporal logics in computer science finite-state systems
von: Demri, Stéphane P. 1967-
Veröffentlicht: (2016)

Program development using refinement logic
von: Vanderbilt, Peter
Veröffentlicht: (1984)

Belief and incompleteness
von: Konolige, Kurt
Veröffentlicht: (1984)

Two-sorted metric temporal logics
von: Montanari, Angelo, et al.
Veröffentlicht: (1995)

Knowledge base system toward logic programming and parallel processing paradigms
von: Itoh, Hidenori, et al.
Veröffentlicht: (1988)

Model checking software 23rd International Symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings
Veröffentlicht: (2016)

Programmverifikation Sequentielle, parallele und verteilte Programme
von: Apt, Krzysztof R. 1949-
Veröffentlicht: (1994)

Heyting algebras duality theory
von: Ėsakia, Leo Leonidovič 1934-2010
Veröffentlicht: (2019)

Logic programming with a functional framework
Veröffentlicht: (1990)

Inference and learning systems for uncertain relational data
von: Cota, Giuseppe
Veröffentlicht: (2018)