| |
| 1984 | ||
|---|---|---|
| 5 | Miklós Szöts: A Comparison of two Logic Programming Languages: A Case Study. ICLP 1984: 41-51 | |
| 4 | Tamás Gergely, Miklós Szöts: Cuttable Formulas for Logic Programming. SLP 1984: 299-310 | |
| 1982 | ||
| 3 | Miklós Szöts, Sándor Csizmazia: A method for program synthesis. Symposium on Programming 1982: 368-380 | |
| 1980 | ||
| 2 | Tamás Gergely, Miklós Szöts: On the incompleteness of proving partial correctness. Acta Cybern. 4: 45-57 (1980) | |
| 1973 | ||
| 1 | D. Holnapy, Miklós Szöts, A. Botár: A Generalization of the Method of Finite Differences. Inf. Process. Lett. 2(2): 55-59 (1973) | |
| 1 | A. Botár | [1] |
| 2 | Sándor Csizmazia | [3] |
| 3 | Tamás Gergely | [2] [4] |
| 4 | D. Holnapy | [1] |