Authors: BAAZ M ZACH R

Citation: M. Baaz et R. Zach, NOTE ON GENERALIZING THEOREMS IN ALGEBRAICALLY CLOSED FIELDS, Archive for mathematical logic, 37(5-6), 1998, pp. 297-307

Authors: BAAZ M LEITSCH A ZACH R

Citation: M. Baaz et al., COMPLETENESS OF A FIRST-ORDER TEMPORAL LOGIC WITH TIME-GAPS, Theoretical computer science, 160(1-2), 1996, pp. 241-270

Authors: BRUNNER N SVOZIL K BAAZ M

Citation: N. Brunner et al., EFFECTIVE QUANTUM OBSERVABLES, Nuovo cimento della Societa italiana di fisica. B, Relativity, classical and statistical physics, 110(12), 1995, pp. 1397-1413

Authors: BAAZ M FERMULLER CG

Citation: M. Baaz et Cg. Fermuller, RESOLUTION-BASED THEOREM-PROVING FOR MANY-VALUED LOGICS, Journal of symbolic computation, 19(4), 1995, pp. 353-391

Authors: BAAZ M ZACH R

Citation: M. Baaz et R. Zach, GENERALIZING THEOREMS IN REAL CLOSED FIELDS, Annals of pure and applied Logic, 75(1-2), 1995, pp. 3-23