Compositionality the significant difference ; international symposium, COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997 ; revised lectures

Compositionality the significant difference ; international symposium, COMPOS '97, Bad Malente, Germany, September 8 - 12, 1997 ; revised lectures

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong u.a. Springer 1998
Schriftenreihe:	Lecture notes in computer science 1536
Schlagworte:	Parallel processing (Electronic computers) > Congresses Automatic theorem proving > Congresses Formale Methode Abstraktion Programmierung Dekomposition Model Checking Verifikation Nebenläufigkeit Logischer Schluss Konferenzschrift > 1997 > Malente
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings
Veröffentlicht: (1996)

Formal methods in computer aided design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998 ; proceedings
Veröffentlicht: (1998)

Concurrency, compositionality, and correctness essays in honor of Willem-Paul De Roever
Veröffentlicht: (2010)

State event logic
von: Große, Gerd
Veröffentlicht: (1997)

Recent Progress in the Boolean Domain
von: Steinbach, Bernd
Veröffentlicht: (2014)

Fast theorem proving in intuitionistic propositional logic
von: Kanovich, Max I.
Veröffentlicht: (1991)

Workshop on Theorem Proving with Analytic Tableaux and Related Methods Marseille, France, April 28 - 30, 1993
von: Basin, David
Veröffentlicht: (1993)

Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
von: Stickel, Mark E.
Veröffentlicht: (1991)

Lazy model generation for improving the efficiency of forward reasoning theorem provers
von: Hasegawa, Ryuzo, et al.
Veröffentlicht: (1992)

Proof technology and computation
Veröffentlicht: (2006)

Compositionality, concurrency and partial correctness proof theories for networks of processes, and their relationship
von: Zwiers, Jakob
Veröffentlicht: (1989)

Formal methods in computer-aided design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15 - 17, 2004 ; proceedings
Veröffentlicht: (2004)

Automated theorem proving after 25 years
Veröffentlicht: (1984)

Specifying and implementing theorem provers in a higher-order logic programming language
von: Felty, Amy
Veröffentlicht: (1989)

Zasada rezolucji teoria, praktyka, kierunki rozwoju
von: Wójcik, Marek
Veröffentlicht: (1989)

Abstract state machines theory and applications ; international workshop, ASM 2000, Monte Verità, Switzerland, March 19 - 24, 2000 ; proceedings
Veröffentlicht: (2000)

LK-to-NK transformation
von: Koshimura, Miyuki
Veröffentlicht: (1989)

Using connectionist networks for guiding the search of a theorem prover
von: Suttner, Christian, et al.
Veröffentlicht: (1990)

On the non-sequential behaviour of systems possessing a generalised free choice property
von: Shields, Michael William 1950-
Veröffentlicht: (1981)

Automated technology for verification and analysis 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings
Veröffentlicht: (2008)

The little prover
von: Friedman, Daniel P., et al.
Veröffentlicht: (2015)

Rippling meta-level guidance for mathematical reasoning
von: Bundy, Alan
Veröffentlicht: (2005)

The complexity of resolution procedures for theorem proving in the propositional calculus
von: Galil, Zvi
Veröffentlicht: (1975)

Extended projection method in proofs-as-programs
von: Takayama, Yukihide
Veröffentlicht: (1988)

Principles of the Spin Model Checker
von: Ben-Ari, Mordechai
Veröffentlicht: (2008)

Automated deduction - CADE-17 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17 - 20, 2000 ; proceedings
Veröffentlicht: (2000)

The bakery protocol a comparative case-study in formal verification
von: Griffioen, W. O. D., et al.
Veröffentlicht: (1995)

A model generation theorem prover in KL1 using a ramified-stack algorithm
von: Fujita, Hiroshi, et al.
Veröffentlicht: (1990)

Lazy model generation for implementing efficient theorem provers
von: Hasegawa, Ryuzo, et al.
Veröffentlicht: (1992)

Formal methods in computer aided design third international conference, FMCAD 2000, Austin, TX, USA, November 1 - 3, 2000 ; proceedings
Veröffentlicht: (2000)

Design and implementation of symbolic computation systems international symposium, DISCO '96, Karlsruhe, Germany, September 18 - 20, 1996 ; proceedings
Veröffentlicht: (1996)

Formal methods and software engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013 ; proceedings
Veröffentlicht: (2013)

Higher-order theorem proving using n-sorted logic
von: Ellison, Karen Starr
Veröffentlicht: (1976)

The Boyer-Moore prover and NUPRL an experimental comparison
von: Basin, David, et al.
Veröffentlicht: (1991)

Rippling, a heuristic for guiding inductive proofs
Veröffentlicht: (1991)

Modeling and verification of parallel processes 4th Summer School, MOVEP 2000, Nantes, France, June 19 - 23, 2000 ; revised tutorial lectures
Veröffentlicht: (2001)

Theorem proving with analytic tableaux and related methods 5th international workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15 - 17, 1996 ; proceedings
Veröffentlicht: (1996)

Theorem proving with analytic tableaux and related methods 4th international workshop, TABLEAUX '95 Schloß Rheinfels, St. Goar, Germany May 7 - 10, 1995 ; proceedings
Veröffentlicht: (1995)

Automated technology for verification and analysis 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007 ; proceedings
Veröffentlicht: (2007)

Functional programming, concurrency, simulation and automated reasoning international lecture series 1991 - 1992, McMaster University, Hamilton, Ontario, Canada
Veröffentlicht: (1993)