BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gla=szlig=:Thomas

Contributed to:

DATE 19991999
SAS 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.