Author: Tuza, Zsolt

Tuza, Zsolt: Theorem proving through depth-first test. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 33 (1992), issue 2, pp. 135-141
Caro, Yair; Tuza, Zsolt: An application of set-pair systems for multitransversals. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 30 (1989), issue 2, pp. 37-39
Tuza, Zsolt: $C_4$-saturated graphs of minimum size. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 30 (1989), issue 2, pp. 161-167
Tuza, Zsolt: $\tau$ - critical hypergraphs. (English). In: Frolík, Zdeněk (ed.): Abstracta. 9th Winter School on Abstract Analysis. Czechoslovak Academy of Sciences, Praha, 1981. pp. 181-184

Partner of