Ulrich Hertrampf. Locally Definable Acceptance Types - The Three-Valued Case. In Imre Simon, editor, LATIN 92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings. Volume 583 of Lecture Notes in Computer Science, pages 262-271, Springer, 1992.
@inproceedings{Hertrampf92:0,
title = {Locally Definable Acceptance Types - The Three-Valued Case},
author = {Ulrich Hertrampf},
year = {1992},
researchr = {https://researchr.org/publication/Hertrampf92%3A0},
cites = {0},
citedby = {0},
pages = {262-271},
booktitle = {LATIN 92, 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, April 6-10, 1992, Proceedings},
editor = {Imre Simon},
volume = {583},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55284-7},
}