Programming Languages: Implementations, Logics and Programs 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings

Programming Languages: Implementations, Logics and Programs 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / edited by Manuel Hermenegildo, S.Doaitse Swierstra.

This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in Utrecht, The Netherlands, in September 1995. The book presents 26 refereed full papers selected from 84 submissions; they report resear...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hermenegildo, Manuel (Editor), Swierstra, S.Doaitse (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995.
Edition:	1st ed. 1995.
Series:	Lecture Notes in Computer Science, 982 Springer eBook Collection.
Subjects:	Programming languages (Electronic computers). Computer programming. Computer logic. Mathematical logic. Computer science—Mathematics. Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Programming Language Implementation and Logic Programming International Workshop PLILP ̀90, Linköping, Sweden, August 20-22, 1990. Proceedings
Published: (1990)

Programming Languages: Implementations, Logics, and Programs 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings
Published: (1996)

Programming Language Implementation and Logic Programming 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
Published: (1994)

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)

Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings
Published: (1997)

Programming Language Implementation and Logic Programming 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings
Published: (1993)

Logic Program Synthesis and Transformation 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings
Published: (1996)

Reasoning with Logic Programming
by: Alferes, Jose Julio, et al.
Published: (1996)

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
Published: (1992)

Programming Languages Implementation and Logic Programming International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
Published: (1989)

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Published: (2006)

Logic Programming 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Published: (2004)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
Published: (2008)

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings
Published: (2006)

Logic Programming and Nonmonotonic Reasoning Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Published: (1995)

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
Published: (2018)

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Published: (2007)

Program Development in Computational Logic A Decade of Research Advances in Logic-Based Program Development
Published: (2004)

Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings
Published: (1998)

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
Published: (2005)

Logic Programming 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
Published: (2003)

Functional and logic programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings
Published: (2020)

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
Published: (2016)

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 16-18,2012, Revised Selected papers
Published: (2013)

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings
Published: (2012)

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings
Published: (2010)

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Published: (2014)

Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
Published: (2016)

Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings
Published: (1997)

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
Published: (2008)

Logic Program Synthesis and Transformation - Meta-Programming in Logic 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
Published: (1994)

Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Published: (2006)

Principles and Practice of Constraint Programming - CP '95 First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings
Published: (1995)

Logic Programming and Databases
by: Ceri, Stefano, et al.
Published: (1990)

Programming Logics Essays in Memory of Harald Ganzinger
Published: (2013)

Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Published: (2013)

Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 -- August 3, 2011, Revised Selected Papers
Published: (2012)

Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR ’97, Leuven, Belgium, July 10–12, 1997 Proceedings
Published: (1998)

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Published: (2010)