 | 1988 |
|---|
| 7 |       | P. Ecsedi-Tóth:
On the Expressive Power of Circumscriptions.
ISMIS 1988: 428-434 |
| 1985 |
|---|
| 6 | | P. Ecsedi-Tóth:
A partial solution of the finite spectrum problem.
Acta Cybern. 7(2): 211-215 (1985) |
| 1984 |
|---|
| 5 | | P. Ecsedi-Tóth:
A theory of finite functions, Part I., On finite trees associated to certain finite functions.
Acta Cybern. 6: 213-225 (1984) |
| 4 | | P. Ecsedi-Tóth,
L. Turi:
On the number of zero order interpolants.
Acta Cybern. 6: 425-436 (1984) |
| 1980 |
|---|
| 3 | | F. Móricz,
A. Varga,
P. Ecsedi-Tóth:
A method for minimizing partially defined Boolean functions.
Acta Cybern. 4: 283-290 (1980) |
| 1977 |
|---|
| 2 | | P. Ecsedi-Tóth,
A. Varga:
An effective theorem proving algorithm.
Acta Cybern. 3: 249-260 (1977) |
| 1 | | P. Ecsedi-Tóth,
F. Móricz,
A. Varga:
A note on symmetric Boolean functions.
Acta Cybern. 3: 321-326 (1977) |
Data released under the ODC-BY 1.0 license — See also our legal information page