On Completeness of Program Synthesis Systems

Andrei Voronkov; Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M Richter

doi:10.1007/BFb0023785

On Completeness of Program Synthesis Systems

Andrei Voronkov, Egon Börger (Editor), Gerhard Jäger (Editor), Hans Kleine Büning (Editor), Michael M Richter (Editor)

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

Original language	English
Title of host publication	CSL
Editors	Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M Richter
Publisher	Springer Nature
Pages	411-418
Number of pages	8
Volume	626
ISBN (Print)	3-540-55789-X
DOIs	https://doi.org/10.1007/BFb0023785
Publication status	Published - 1991
Event	Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/csl/csl91.html#Voronkov91http://dblp.uni-trier.de/rec/bibtex/conf/csl/Voronkov91.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/Voronkov91

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/csl/csl91.html#Voronkov91http://dblp.uni-trier.de/rec/bibtex/conf/csl/Voronkov91.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/Voronkov91

Access to Document

10.1007/BFb0023785

Cite this

@inproceedings{bdbba1d6c15b401fa2658d2855c132f8,

title = "On Completeness of Program Synthesis Systems",

author = "Andrei Voronkov and Egon B{\"o}rger and Gerhard J{\"a}ger and B{\"u}ning, {Hans Kleine} and Richter, {Michael M}",

year = "1991",

doi = "10.1007/BFb0023785",

language = "English",

isbn = "3-540-55789-X",

volume = "626",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "411--418",

editor = "Egon B{\"o}rger and Gerhard J{\"a}ger and B{\"u}ning, {Hans Kleine} and Richter, {Michael M}",

booktitle = "CSL",

address = "United States",

note = "Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/csl/csl91.html#Voronkov91http://dblp.uni-trier.de/rec/bibtex/conf/csl/Voronkov91.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/csl/Voronkov91",

}

Voronkov, A, Börger, E (ed.), Jäger, G (ed.), Büning, HK (ed.) & Richter, MM (ed.) 1991, On Completeness of Program Synthesis Systems. in E Börger, G Jäger, HK Büning & MM Richter (eds), CSL. vol. 626, Lecture Notes in Computer Science, Springer Nature, pp. 411-418, Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings, 1/01/24. https://doi.org/10.1007/BFb0023785

On Completeness of Program Synthesis Systems. / Voronkov, Andrei; Börger, Egon (Editor); Jäger, Gerhard (Editor) et al.
CSL. ed. / Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M Richter. Vol. 626 Springer Nature, 1991. p. 411-418 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - On Completeness of Program Synthesis Systems

AU - Voronkov, Andrei

A2 - Börger, Egon

A2 - Jäger, Gerhard

A2 - Büning, Hans Kleine

A2 - Richter, Michael M

A2 - Börger, Egon

A2 - Jäger, Gerhard

A2 - Büning, Hans Kleine

A2 - Richter, Michael M

PY - 1991

Y1 - 1991

U2 - 10.1007/BFb0023785

DO - 10.1007/BFb0023785

M3 - Conference contribution

SN - 3-540-55789-X

VL - 626

T3 - Lecture Notes in Computer Science

SP - 411

EP - 418

BT - CSL

PB - Springer Nature

T2 - Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings

Y2 - 1 January 1824

ER -