Programmierlogik

Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)

From logic design to logic programming: theorem proving techniques and P-functions

Dominique Snyers, André Thayse.

Computer science logic: 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings

Anuj Dawar, Helmut Veith (eds.).

Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

edited by Zhenjiang Hu

Typed lambda calculi and applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

Philippe de Groote, J. Roger Hindley (eds.).

Logic Language Information And Computation 16th International Workshop Wollic 2009 Tokyo Japan June 2124 2009 Proceedings

Hiroakira Ono

A connotational theory of program structure

James S. Royer.

Logic, language, information, and computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings

Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.).

Computer science logic: 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings

Erich Grädel, Reinhard Kahle (eds.).

Frontiers of combining systems: 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings

Silvio Ghilardi, Roberto Sebastiani (eds.).