Cover Image

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /

Show other versions (1)

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Logics of Programs Workshop
Other Authors:	Clarke, Edmund, Kozen, Dexter, 1951-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1984.
Series:	Lecture notes in computer science ; 164.
Subjects:	Computer programming > Congresses. Computer science. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Programmation (Informatique) > Congrès. Logiciels > Congrès. Electronic books. Computer programming. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 /
Published: (1988)

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings /
Published: (1988)

International Symposium on Programming : proceedings, 5th colloquium, Turin, April 6-8, 1982 /
Published: (1982)

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings /
Published: (1993)

Logic programming '86 : proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 /
Published: (1987)

Theory of program structures : schemes, semantics, verification /
by: Greibach, Sheila, 1939-
Published: (1975)

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

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 /
Published: (1989)

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

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

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

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings /
Published: (1989)

Logic programming and its applications /
Published: (1986)

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

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

Logic programming : operational semantics and proof theory /
by: Andrews, James H.
Published: (1992)

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

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

Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /
Published: (2001)

International Symposium on Theoretical Programming : [Proceedings held on August 7-11, 1972] /
Published: (1974)

Perspectives on computer science : from the 10th anniversary symposium at the Computer Science Department, Carnegie-Mellon University /
Published: (1977)

Formalization of programming concepts : international colloquium, Peniscola, Spain, April 19-25, 1981 : proceedings /
Published: (1981)

ECOOP '87 : European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987 : proceedings /
Published: (1987)

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

Programming Symposium : proceedings. Colloque sur la programmation, Paris, April 9-11, 1974 /
Published: (1974)

Doing hugging face : Pragmatic AI Labs course.
Published: (2022)

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

Parallel logic programming techniques /
by: Taylor, Stephen, 1956 October 13-
Published: (1989)

Parallel execution of logic programs /
by: Conery, John S.
Published: (1987)

The design of well-structured and correct programs /
by: Alagić, Suad, 1946-, et al.
Published: (1978)

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

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

Principles and Practice of Constraint Programming CP98 : 4th International Conference, CP98 Pisa, Italy, October 2630, 1998 Proceedings /
Published: (1998)

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

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

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /
Published: (1993)

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

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

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)