Péter Ecsedi-Tóth

Publication Activity (10 Years)

Years Active: 1977-1988
Publications (10 Years): 0

Publications

Péter Ecsedi-Tóth
On the Expressive Power of Circumscriptions. ISMIS (1988)
Péter Ecsedi-Tóth
On the Expressive Power of Equality-Free First Order Languages. Math. Log. Q. 32 (19-24) (1986)
Péter Ecsedi-Tóth
A partial solution of the finite spectrum problem. Acta Cybern. 7 (2) (1985)
Péter Ecsedi-Tóth, L. Turi
On the number of zero order interpolants. Acta Cybern. 6 (4) (1984)
Péter Ecsedi-Tóth
A theory of finite functions, Part I. On finite trees associated to certain finite functions. Acta Cybern. 6 (2) (1983)
F. Móricz, A. Varga, Péter Ecsedi-Tóth
A method for minimizing partially defined Boolean functions. Acta Cybern. 4 (3) (1979)
Péter Ecsedi-Tóth, A. Varga
An effective theorem proving algorithm. Acta Cybern. 3 (3) (1977)
Péter Ecsedi-Tóth, F. Móricz, A. Varga
A note on symmetric Boolean functions. Acta Cybern. 3 (4) (1977)