Compositionality : :: SCD d'Orléans

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

This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a va...

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	International Symposium on Compositionality :Bad Malente, Allemagne
Diğer Yazarlar:	Roever, Willem-Paul de, 1943- (Yayın yönetmeni), Langmaack, Hans, 1943- (Yayın yönetmeni), Pnueli, Amir, 1941-2009, mathématicien (Yayın yönetmeni)
Materyal Türü:	Livre numérique
Dil:	Anglais
Baskı/Yayın Bilgisi:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Seri Bilgileri:	Lecture notes in computer science 1536
Konular:	Génie logiciel Informatique Intelligence artificielle Parallélisme (informatique) Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Online Erişim:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Not:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Compositionality, the significant difference, international symposium, COMPOS '97, Bad Malente, Germany, September 1997, revised lectures, Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.), 1998, Berlin, Springer, 1 vol. (646 p.), Lecture notes in computer science, 3-540-65493-3 • Compositionality: The Significant Difference, Texte imprimé, 9783662193129

Benzer Materyaller

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship
Yazar:: Zwiers, Job, 19..-

Isabelle : a generic theorem prover
Yazar:: Paulson, Lawrence C., 1955-...., informaticien

Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
Yazar:: Basin, David

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Isabelle/HOL : a proof assistant for higher-order logic
Yazar:: Nipkow, Tobias, 1958-..., informaticien, ve diğerleri

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings

Automated reasoning with analytic tableaux and related methods : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
Yazar:: Galmiche, Didier, 1958-

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
Yazar:: Slind, Konrad

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : proceedings

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 August 1, 2002 : proceedings

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Theory reasoning in connection calculi
Yazar:: Baumgartner, Peter, 1953-

A resolution principle for a logic with restricted quantifiers
Yazar:: Bürckert, Hans-Jürgen

Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25 29, 1997 : proceedings

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20 23, 2002 Proceedings

Efficient checking of polynomials and proofs and the hardness of approximation problems
Yazar:: Sudan, Madhu

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5 10, 1998 : proceedings

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
Yazar:: Bundy, Alan R., 1947-

Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Automated deduction : CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 17, 1997 : proceedings
Yazar:: McCune, William Walker, 1953-

8th International conference on automated deduction : Oxford, England, July 27 August 1, 1986 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 98 Oisterwijk, The Netherlands, May 5 8, 1998 : proceedings

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings

Automated deduction in equational logic and cubic curves
Yazar:: McCune, William Walker, 1953-, ve diğerleri

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7 10, 1999 : proceedings

Automated deduction in classical and non-classical logics : selected papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales