Travelled to:2 × Germany
Collaborated with:M.Müller K.Stroetmann J.P.M.Silva
Talks about:prolog (2) satisfi (1) program (1) modular (1) equival (1) termin (1) recurs (1) combin (1) analyz (1) proof (1)
Person: Thomas Glaß
DBLP: Gla=szlig=:Thomas
Contributed to:
1999
1996Wrote 3 papers:
- DATE-1999-Marques-SilvaG #equivalence #learning #recursion #satisfiability #using
- Combinational Equivalence Checking Using Satisfiability and Recursive Learning (JPMS, TG), pp. 145–149.
- SAS-1996-MullerGS #automation #composition #prolog #proving #source code #termination
- Automated Modular Termination Proofs for Real Prolog Programs (MM, TG, KS), pp. 220–237.
- SAS-1996-MullerGS96a #named #prolog
- PAN — The Prolog Analyzer (MM, TG, KS), pp. 387–388.