An extension of rabin’s complete proof concept

Jerzy W. Jaromczyk

doi:10.1007/3-540-10856-4_99

An extension of rabin’s complete proof concept

Jerzy W. Jaromczyk

Computer Science

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

5 Scopus citations

Original language	English
Title of host publication	Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium
Editors	Jozef Gruska, Michal Chytil
Pages	321-326
Number of pages	6
DOIs	https://doi.org/10.1007/3-540-10856-4_99
State	Published - 1981
Event	10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981 - Strbske Pleso, Serbia Duration: Aug 31 1981 → Sep 4 1981

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	118 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981
Country/Territory	Serbia
City	Strbske Pleso
Period	8/31/81 → 9/4/81

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science (all)

Access to Document

10.1007/3-540-10856-4_99

Cite this

Jaromczyk, J. W. (1981). An extension of rabin’s complete proof concept. In J. Gruska, & M. Chytil (Eds.), Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium (pp. 321-326). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 118 LNCS). https://doi.org/10.1007/3-540-10856-4_99

@inproceedings{0faaf5a349a5427f91d27d4c4228b938,

title = "An extension of rabin{\textquoteright}s complete proof concept",

author = "Jaromczyk, {Jerzy W.}",

year = "1981",

doi = "10.1007/3-540-10856-4_99",

language = "English",

isbn = "9783540108566",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "321--326",

editor = "Jozef Gruska and Michal Chytil",

booktitle = "Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium",

note = "10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981 ; Conference date: 31-08-1981 Through 04-09-1981",

}

Jaromczyk, JW 1981, An extension of rabin’s complete proof concept. in J Gruska & M Chytil (eds), Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 118 LNCS, pp. 321-326, 10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981, Strbske Pleso, Serbia, 8/31/81. https://doi.org/10.1007/3-540-10856-4_99

An extension of rabin’s complete proof concept. / Jaromczyk, Jerzy W.
Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium. ed. / Jozef Gruska; Michal Chytil. 1981. p. 321-326 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 118 LNCS).

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

TY - GEN

T1 - An extension of rabin’s complete proof concept

AU - Jaromczyk, Jerzy W.

PY - 1981

Y1 - 1981

UR - http://www.scopus.com/inward/record.url?scp=0347279003&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0347279003&partnerID=8YFLogxK

U2 - 10.1007/3-540-10856-4_99

DO - 10.1007/3-540-10856-4_99

M3 - Conference contribution

AN - SCOPUS:0347279003

SN - 9783540108566

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 321

EP - 326

BT - Mathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium

A2 - Gruska, Jozef

A2 - Chytil, Michal

T2 - 10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981

Y2 - 31 August 1981 through 4 September 1981

ER -

An extension of rabin’s complete proof concept

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this