Items where Author is " Ecsedi-Tóth Péter"

Article

Ecsedi-Tóth Péter: Structure-filters in equality-free model theory. In: Acta scientiarum mathematicarum, (51) 3-4. pp. 387-402. (1987)

Ecsedi-Tóth Péter: A partial solution of the finite spectrum problem. In: Acta cybernetica, (7) 2. pp. 211-215. (1985)

Ecsedi-Tóth Péter and Turi L.: On the number of zero order interpolants. In: Acta cybernetica, (6) 4. pp. 425-436. (1984)

Ecsedi-Tóth Péter: A characterization of quasi-varieties in equality-free languages. In: Acta scientiarum mathematicarum, (47) 1-2. pp. 41-54. (1984)

Ecsedi-Tóth Péter: A theory of finite functions, part I. : on finite trees associated to certain finite functions. In: Acta cybernetica, (6) 2. pp. 213-225. (1983)

Móricz Ferenc and Varga A. and Ecsedi-Tóth Péter: A method for minimizing partially defined Boolean functions. In: Acta cybernetica, (4) 3. pp. 283-290. (1979)

Ecsedi-Tóth Péter and Varga A.: An effective theorem proving algorithm. In: Acta cybernetica, (3) 3. pp. 249-260. (1977)

Ecsedi-Tóth Péter and Móricz Ferenc and Varga A.: A note on symmetric Boolean functions. In: Acta cybernetica, (3) 4. pp. 321-326. (1977)