Deductive Program Synthesis and Markov's Principle

Andrei Voronkov; Lothar Budach; Rais Gatic Bakharajev; Oleg Borisovic Lipanov

Deductive Program Synthesis and Markov's Principle

Andrei Voronkov, Lothar Budach (Editor), Rais Gatic Bakharajev (Editor), Oleg Borisovic Lipanov (Editor)

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

Original language	English
Title of host publication	FCT
Editors	Lothar Budach, Rais Gatic Bakharajev, Oleg Borisovic Lipanov
Publisher	Springer Nature
Pages	479-482
Number of pages	4
Volume	278
ISBN (Print)	3-540-18740-5
Publication status	Published - 1987
Event	Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/fct/fct87.html#Voronkov87http://dblp.uni-trier.de/rec/bibtex/conf/fct/Voronkov87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fct/Voronkov87

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/fct/fct87.html#Voronkov87http://dblp.uni-trier.de/rec/bibtex/conf/fct/Voronkov87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fct/Voronkov87

Access to Document

Cite this

@inproceedings{6912aca1c7754f96a83b077922751731,

title = "Deductive Program Synthesis and Markov's Principle",

author = "Andrei Voronkov and Lothar Budach and Bakharajev, {Rais Gatic} and Lipanov, {Oleg Borisovic}",

year = "1987",

language = "English",

isbn = "3-540-18740-5",

volume = "278",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "479--482",

editor = "Lothar Budach and Bakharajev, {Rais Gatic} and Lipanov, {Oleg Borisovic}",

booktitle = "FCT",

address = "United States",

note = "Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/fct/fct87.html#Voronkov87http://dblp.uni-trier.de/rec/bibtex/conf/fct/Voronkov87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/fct/Voronkov87",

}

Voronkov, A, Budach, L (ed.), Bakharajev, RG (ed.) & Lipanov, OB (ed.) 1987, Deductive Program Synthesis and Markov's Principle. in L Budach, RG Bakharajev & OB Lipanov (eds), FCT. vol. 278, Lecture Notes in Computer Science, Springer Nature, pp. 479-482, Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/fct/fct87.html#Voronkov87>

Deductive Program Synthesis and Markov's Principle. / Voronkov, Andrei; Budach, Lothar (Editor); Bakharajev, Rais Gatic (Editor) et al.
FCT. ed. / Lothar Budach; Rais Gatic Bakharajev; Oleg Borisovic Lipanov. Vol. 278 Springer Nature, 1987. p. 479-482 (Lecture Notes in Computer Science).

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

TY - GEN

T1 - Deductive Program Synthesis and Markov's Principle

AU - Voronkov, Andrei

A2 - Budach, Lothar

A2 - Bakharajev, Rais Gatic

A2 - Lipanov, Oleg Borisovic

A2 - Budach, Lothar

A2 - Bakharajev, Rais Gatic

A2 - Lipanov, Oleg Borisovic

PY - 1987

Y1 - 1987

M3 - Conference contribution

SN - 3-540-18740-5

VL - 278

T3 - Lecture Notes in Computer Science

SP - 479

EP - 482

BT - FCT

PB - Springer Nature

T2 - Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings

Y2 - 1 January 1824

ER -