Login / Signup
P. 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)