Cover Image

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

Show other versions (1)

Bibliographic Details
Corporate Author:	Logics of Programs Workshop Yorktown Heights, N.Y.
Other Authors:	Kozen, Dexter, 1951-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1982.
Series:	Lecture notes in computer science ; 131.
Subjects:	Computer programming > Congresses.

Similar Items

Logics of Programs : Workshop, Yorktown Heights, New York, May 1981 /
Published: (1982)

Fuji International Workshop on functional and logic programming : Susono, Japan, July 17-19, 1995 /
Published: (1995)

Second Fuji International Workshop on Functional and Logic Programming : Shonan Village Center, Japan, Nov. 1-4, 1996 /
Published: (1997)

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

Logics of programs : workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /
Published: (1984)

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming /
Published: (1997)

Logic programming : proceedings of the 1999 International Conference on Logic Programming /
Published: (2000)

Logic programming : proceedings of the Tenth International Conference on Logic Programming /
Published: (1993)

Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)

Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming /
Published: (1996)

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

Logic programming : proceedings of the 1995 international symposium /
Published: (1995)

Logic programming : proceedings of the 1997 International Symposium /
Published: (1997)

Programming language implementation and logic programming : proceedings /
Published: (1990)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 /
Published: (1985)

Logic programming : proceedings of the eleventh International Conference on Logic Programming /
Published: (1994)

Programming logics : an introduction to verification and semantics /
by: Gumb, Raymond D.
Published: (1989)

1985 Symposium on Logic Programming : July 15-18, 1985, Sheraton Boston Hotel, Boston, Massachusetts /
Published: (1985)

Studies in automatic programming logic /
by: Manna, Zohar
Published: (1977)

Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
Published: (1985)

Logic programming : expanding horizons /
Published: (1991)

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

Logic tools for programming /
by: Pace, Philip, 1956-
Published: (1987)

Intensional logics for programming /
Published: (1992)

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings /
Published: (1997)

Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings /
Published: (2002)

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

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings /
Published: (2001)

Parallelism and implementation of logic and constraint logic programming /
Published: (1999)

Parallel logic programming /
by: Takeuchi, Akikazu, 1953-
Published: (1992)

Logic programming : a classified bibliography /
by: Balbin, Isaac
Published: (1985)

Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings /
Published: (2006)

Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /
Published: (1999)

Foundations of logic programming /
by: Lloyd, J. W. (John Wylie), 1947-
Published: (1984)

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

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

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

Parallel logic programming /
by: Tick, Evan, 1959-
Published: (1991)

The journal of logic programming.

Logic, programming, and Prolog /
by: Nilsson, Ulf, 1961-
Published: (1990)