An effective theorem proving algorithm

Most read articles by the same author(s)

• Péter Ecsedi-Tóth, A partial solution of the finite spectrum problem , Acta Cybernetica: Vol. 7 No. 2 (1985)
• Péter Ecsedi-Tóth, L. Turi, On the number of zero order interpolants , Acta Cybernetica: Vol. 6 No. 4 (1984)
• Ferenc Móricz, A. Varga, Péter Ecsedi-Tóth, A method for minimizing partially defined Boolean functions , Acta Cybernetica: Vol. 4 No. 3 (1979)
• Péter Ecsedi-Tóth, A theory of finite functions, part I. : on finite trees associated to certain finite functions , Acta Cybernetica: Vol. 6 No. 2 (1983)
• Péter Ecsedi-Tóth, Ferenc Móricz, A. Varga, A note on symmetric Boolean functions , Acta Cybernetica: Vol. 3 No. 4 (1977)