|
|
|
BACK TO INDEX
Publications of H. Andréka in Acta Cybernetica.
-
H. Andréka and I. Németi.
The generalised completeness of Horn predicate-logic as a programming language.
Acta Cybernetica,
4(1):3-10,
1978.
[ PDF ]
-
H. Andréka,
S. Horváth,
and I. Németi.
Notes on maximal congruence relations, automata and related topics.
Acta Cybernetica,
2(1):71-88,
1973.
[ PDF ]
BACK TO INDEX
This document was translated from BibTEX by
bibtex2html
|
|
|