References Needed

Article View: comp.lang.prolog

Article #874

#874

From: Guillermo A. Francia
Date: Tue, 05 Jun 1990 20:09

12 lines
923 bytes

I am trying to get hold of copies of two very recent papers:

	1) "Logical Animation", by Cunningham, et. al., Proceedings
	of the Int'l Conf. on Software Engineering, Nice, France, 1990; and

	2) "A Theory of Testing in Logic Programming", by Liliane Lardot
	and Norbert Batllou, in Proceedings of the Workshop on Logic
	Programming Environments, Int'l Conf. on Logic Programming 7,
	June 14, 1990, Eilat, Israel.

Any help will be greatly appreciated. Please reply via e-mail (at
francia@jupiter.nmt.edu). THANKS!

Technical Details

Message-ID: <1990Jun5.200938.10378@nmt.edu>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!umich!samsung!sdd.hp.com!uakari.primate.wisc.edu!aplcen!unmvax!nmt.edu!francia

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!mailrus!umich!samsung!sdd.hp.com!uakari.primate.wisc.edu!aplcen!unmvax!nmt.edu!francia
From: francia@jupiter.nmt.edu (Guillermo A. Francia)
Newsgroups: comp.lang.prolog
Subject: References Needed
Message-ID: <1990Jun5.200938.10378@nmt.edu>
Date: 5 Jun 90 20:09:38 GMT
Organization: New Mexico Institute of Mining and Technology
Lines: 12