Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Laurent Fribourg
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction
ICLP, 1990.

CLP 1990
DBLP
Scholar
Full names Links ISxN
@inproceedings{CLP-1990-Fribourg90,
	author        = "Laurent Fribourg",
	booktitle     = "{Proceedings of the Seventh International Conference on Logic Programming}",
	isbn          = "0-262-73090-1",
	pages         = "685--699",
	publisher     = "{MIT Press}",
	title         = "{Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction}",
	year          = 1990,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.