An Implementation Technique for a Class of Bottom-Up Procedures

Andrei Voronkov; Manuel V Hermenegildo; Jaan Penjam

An Implementation Technique for a Class of Bottom-Up Procedures

Andrei Voronkov, Manuel V Hermenegildo (Editor), Jaan Penjam (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	PLILP
Editors	Manuel V Hermenegildo, Jaan Penjam
Publisher	Springer Nature
Pages	147-164
Number of pages	18
Volume	844
ISBN (Print)	3-540-58402-1
Publication status	Published - 1994
Event	Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#Voronkov94http://dblp.uni-trier.de/rec/bibtex/conf/plilp/Voronkov94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/plilp/Voronkov94

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#Voronkov94http://dblp.uni-trier.de/rec/bibtex/conf/plilp/Voronkov94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/plilp/Voronkov94

Access to Document

Cite this

@inproceedings{9380946e6cab4161a8e4c5ce35afa64a,

title = "An Implementation Technique for a Class of Bottom-Up Procedures",

author = "Andrei Voronkov and Hermenegildo, {Manuel V} and Jaan Penjam",

year = "1994",

language = "English",

isbn = "3-540-58402-1",

volume = "844",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "147--164",

editor = "Hermenegildo, {Manuel V} and Jaan Penjam",

booktitle = "PLILP",

address = "United States",

note = "Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#Voronkov94http://dblp.uni-trier.de/rec/bibtex/conf/plilp/Voronkov94.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/plilp/Voronkov94",

}

Voronkov, A, Hermenegildo, MV (ed.) & Penjam, J (ed.) 1994, An Implementation Technique for a Class of Bottom-Up Procedures. in MV Hermenegildo & J Penjam (eds), PLILP. vol. 844, Lecture Notes in Computer Science, Springer Nature, pp. 147-164, Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/plilp/plilp94.html#Voronkov94>

TY - GEN

T1 - An Implementation Technique for a Class of Bottom-Up Procedures

AU - Voronkov, Andrei

A2 - Hermenegildo, Manuel V

A2 - Penjam, Jaan

A2 - Hermenegildo, Manuel V

A2 - Penjam, Jaan

PY - 1994

Y1 - 1994

M3 - Conference contribution

SN - 3-540-58402-1

VL - 844

T3 - Lecture Notes in Computer Science

SP - 147

EP - 164

BT - PLILP

PB - Springer Nature

T2 - Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings

Y2 - 1 January 1824

ER -