Termination proofs for logic programs :: SCD d'Orléans

Termination proofs for logic programs

Termination proofs for logic programs

Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a compreh...

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Plümer, Lutz, 1951-
Aineistotyyppi:	Livre numérique
Kieli:	Anglais
Julkaistu:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Sarja:	Lecture notes in computer science. Lecture notes in artificial intelligence 446
Aiheet:	Génie logiciel Informatique Intelligence artificielle Logique symbolique et mathématique Programmation logique
Linkit:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Huomautus:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Termination proofs for logic programs, Lutz Plümer, 1990, Berlin, Paris [etc.], Springer-Verlag, 1 vol. (viii-142 p.), Lecture notes in computer science, 3-540-52837-7 • Termination Proofs for Logic Programs, Texte imprimé, 9783662176948

Samankaltaisia teoksia

Program development in computational logic : a decade of research advances in logic-based program development
Tekijä: Bruynooghe, Maurice

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

Isabelle/HOL : a proof assistant for higher-order logic
Tekijä: Nipkow, Tobias, 1958-..., informaticien, et al.

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
Tekijä: Schmid, Ute

Programming language implementation and logic programming : [second] International Workshop PLILP '90, Linköping, Sweden, August 20 22, 1990 : proceedings

Programming language implementation and logic programming : 4th International Symposium, PLILP'92, Leuven, Belgium, August 26 28, 1992 : proceedings

Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26 28, 1991 : proceedings

Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

Types for proofs and programs : International Workshop TYPES 96 Aussois, France, December 15 19, 1996 : selected papers

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 : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7 11, 1992 Proceedings

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

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

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Foundations of equational logic programming
Tekijä: Hölldobler, Steffen, 1957-

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
Tekijä: Bruynooghe, Maurice

Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

Types for proofs and programs : International Workshop TYPES '94 Båstad, Sweden, June 6 10, 1994 : selected papers

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14 18, 1990 : Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11 16, 1991 : proceedings
Tekijä: Voronkov, Andrei, 1959-

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : 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 : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

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

Types for proofs and programs : International Workshop, TYPES 2000 Durham, UK, December 8 12, 2000 : selected papers

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
Tekijä: Slind, Konrad

Reasoning with logic programming
Tekijä: Alferes, José Júlio, 1966-, et al.

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Challenges for action theories
Tekijä: Thielscher, Michael

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised 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