Vissza |
Andréka Hajnal; Németi István: The generalised completeness of Horn predicate-logic as a programming language. In: Acta cybernetica, (4) 1. pp. 3-10. (1978)
Andréka Hajnal; Horváth S.; Németi István: Notes on maximal congruence relations, automata and related topics. In: Acta cybernetica, (2) 1. pp. 71-88. (1973)