zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 372-384 (1999).
MSC:  03D15 68Q15 68Q42
BibTeX Cite

Filter Results by …

Document Type
Year of Publication