An extension of rabin’s complete proof concept

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations
Original languageEnglish
Title of host publicationMathematical Foundations of Computer Science 1981 - Proceedings, 10th Symposium
EditorsJozef Gruska, Michal Chytil
Pages321-326
Number of pages6
DOIs
StatePublished - 1981
Event10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981 - Strbske Pleso, Serbia
Duration: Aug 31 1981Sep 4 1981

Publication series

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

Conference

Conference10th Symposium on Mathematical Foundations of Computer Science, MFCS 1981
Country/TerritorySerbia
CityStrbske Pleso
Period8/31/819/4/81

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)

Fingerprint

Dive into the research topics of 'An extension of rabin’s complete proof concept'. Together they form a unique fingerprint.

Cite this