Zum Inhalt springen

Gabbay, Dov M. [VerfasserIn] ; Hodkinson, Ian [Sonstige Person, Familie und Körperschaft]; Reynolds, Mark [Sonstige Person, Familie und Körperschaft]; Finger, Marcelo [Sonstige Person, Familie und Körperschaft]

Temporal logic : mathematical foundations and computational aspects

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1994-2003

Erschienen in: Oxford logic guides ; .
Gabbay, Dov M. [VerfasserIn]; Hodkinson, Ian [VerfasserIn]; Reynolds, Mark [VerfasserIn]

Temporal logic / 2 - [Repr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 2003

Erschienen in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 2,2003 - Oxford logic guides ; 40,2003
Temporal logic / 2

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 2000

Erschienen in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 2.2000 - Oxford logic guides ; 40.2000
Gabbay, Dov M. [VerfasserIn]; Hodkinson, Ian [VerfasserIn]; Reynolds, Mark [VerfasserIn]

Temporal logic / 1

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1994

Erschienen in: Temporal logic / Dov M. Gabbay; Ian Hodkinson and Mark Reynolds ; 1.1994 - Oxford logic guides ; 28.1994
Demri, Stéphane [VerfasserIn]; Goranko, Valentin [VerfasserIn]; Lange, Martin [VerfasserIn]

Temporal logics in computer science : Finite-state systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge: Cambridge University Press, 2016

Erschienen in: Cambridge tracts in theoretical computer science ; 58
Bauer, Sebastian [VerfasserIn]

Algorithmische Eigenschaften von Branching-Time Logiken

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[2006]
Cau, Antonio [VerfasserIn]

Compositional verification and specification of refinement for reactive systems in a dense time temporal logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Erschienen in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9601
Gaskin, Richard [VerfasserIn]

The sea battle and the master argument : Aristotle and Diodorus Cronus on the metaphysics of the future

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; New York: de Gruyter, 1995

Erschienen in: Quellen und Studien zur Philosophie ; 40
Goltz, Ursula [HerausgeberIn]

Logics for distributed systems : summary of a workshop, Bonn, March 1992

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Sankt Augustin: GMD, 1992

Erschienen in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 21400
Kienzle, Bertram [HerausgeberIn]

Zustand und Ereignis - [1. Aufl.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Frankfurt am Main: Suhrkamp, 1994

Erschienen in: Suhrkamp-Taschenbuch Wissenschaft ; 1116
Goldblatt, Robert [VerfasserIn]

Logics of time and computation - [2. ed., rev. and expanded]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stanford, CA: Center for the Study of Language and Information, 1992

Erschienen in: Stanford University: CSLI lecture notes ; 7,2
Bisseck, Pierre [VerfasserIn]

Modellierung und Verwaltung zeitbezogener Informationen in relationalen Datenbanken : Konzepte und Sprachen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

2000 ; Mikrofiche-Ausg.
Hajnicz, Elżbieta [VerfasserIn]

Time structures : formal description and algorithmic representation

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1996

Erschienen in: Lecture notes in computer science ; 1047
Kirchberg, Paul [VerfasserIn] ; Mayer, Otto [Sonstige Person, Familie und Körperschaft]

Integration temporallogischer Verarbeitungskonzepte in C++

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1997

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 29400
Kröger, Fred [VerfasserIn]

Temporal logic of programs

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1987

Erschienen in: European Association for Theoretical Computer Science: EATCS monographs on theoretical computer sciences ; 8
Brzoska, Christoph [VerfasserIn]

Temporal logic programming : a survey

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: Univ., Fak. für Informatik, 1989

Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 89,22
Bérard, Béatrice [HerausgeberIn]; Bidoit, Michel [HerausgeberIn]; Finkel, Alain [HerausgeberIn]

Systems and software verification : model-checking techniques and tools

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg$aNew York: Springer, 2001
Barringer, Howard [HerausgeberIn]

Advances in temporal logic

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer Acad. Publ., 2000

Erschienen in: Applied logic series ; 16
Kick, Alexander [VerfasserIn]

Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1996
Moller, Faron [HerausgeberIn] ; Higher Order Workshop 8 1994 Banff, Alberta

Logics for concurrency : structure versus automata; [VIII. Banff Higher Order Workshop, held from August 27th to September 3rd, 1994, at the Banff Centre in Banff, Canada]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1996

Erschienen in: Lecture notes in computer science ; 1043

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr