Péter Ecsedi-Tóth

According to our database, Péter Ecsedi-Tóth authored at least 8 papers between 1977 and 1988.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1988

On the Expressive Power of Circumscriptions.

Péter Ecsedi-Tóth

Proceedings of the Methodologies for Intelligent Systems, 1988

1986

On the Expressive Power of Equality-Free First Order Languages.

Péter Ecsedi-Tóth

Math. Log. Q., 1986

1985

A partial solution of the finite spectrum problem.

Péter Ecsedi-Tóth

Acta Cybern., 1985

1984

On the number of zero order interpolants.

Péter Ecsedi-Tóth, L. Turi

Acta Cybern., 1984

1983

A theory of finite functions, Part I. On finite trees associated to certain finite functions.

Péter Ecsedi-Tóth

Acta Cybern., 1983

1979

A method for minimizing partially defined Boolean functions.

Ferenc Móricz, A. Varga, Péter Ecsedi-Tóth

Acta Cybern., 1979

1977

An effective theorem proving algorithm.

Péter Ecsedi-Tóth, A. Varga

Acta Cybern., 1977

A note on symmetric Boolean functions.

Péter Ecsedi-Tóth, Ferenc Móricz, A. Varga

Acta Cybern., 1977