Cover Image

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /

Show other versions (1)

Bibliographic Details
Corporate Authors:	Logics of Programs Workshop Yorktown Heights, N.Y., SpringerLink (Online service)
Other Authors:	Kozen, Dexter, 1951-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1982.
Series:	Lecture notes in computer science ; 131.
Subjects:	Computer programming > Congresses. logique temporelle. vérification programme. sémantique programme. logique programmation. Programmation (Informatique) > Congrès. Logiciels > Congrès. Computer programming. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Published: (2001)

Semantics, applications, and implementation of program generation : International Workshop, SAIG 2000, Montreal, Canada, September 20, 2000 : proceedings /
Published: (2000)

Verification, model checking, and abstract interpretation : third international workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers /
Published: (2002)

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 /
Published: (1983)

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings /
Published: (1995)

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1996)

Verifying concurrent processes using temporal logic /
by: Hailpern, Brent T. (Brent Tzion), 1955-
Published: (1982)

Program construction : international summer school /
Published: (1979)

Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
Published: (1994)

The journal of logic and algebraic programming.
Published: (2001)

Programming language implementation and logic programming : 6th international symposium, PLILP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings /
Published: (1994)

Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
Published: (1988)

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)

The journal of logic programming.
Published: (1984)

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings /
Published: (1996)

Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /
Published: (1995)

Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings /
Published: (2005)

Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
Published: (1980)

Program construction : international summer school /
Published: (1979)

Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings /
Published: (1989)

Reasoning with logic programming /
by: Alferes, José Júlio
Published: (1996)

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings /
Published: (2004)

Theory and practice of parallel programming : international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings /
Published: (1995)

Field-programmable logic and application : reconfigurable computing is going mainstream : 12th international conference, FPL 2002, Montpellier, France, September 2-4, 2002 : proceedings /
Published: (2002)

Lectures on the logic of computer programming /
by: Manna, Zohar
Published: (1980)

Fuzzy-logic-based programming /
by: Chang, Chin-Liang, 1937-
Published: (1997)

Handbook of logic in artificial intelligence and logic programming.
Published: (2020)

Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers /
Published: (1996)

Cognitive models and intelligent environments for learning programming /
Published: (1993)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings /
Published: (1992)

Inductive logic programming : 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999 : proceedings /
Published: (1999)

Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings /
Published: (1996)

Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
Published: (1995)

Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings /
Published: (2001)

Programmable logic controllers /
by: Bolton, W. (William), 1933-
Published: (2006)

Field-programmable logic and applications : 5th international workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995 : proceedings /
Published: (1995)

The journal of logic and algebraic programming.
Published: (2001)

Language hierarchies and interfaces : international summer school /
Published: (1976)

Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal
Published: (2011)