×

zbMATH — the first resource for mathematics

Found 24 Documents (Results 1–24)

100
MathJax
Baader, Franz (ed.) et al., Frontiers of combining systems. First international workshop, Munich, Germany, March 26–29, 1996. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 3, 157-174 (1996).
MSC:  03B80 68T15 03B35 68T27
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 89-119 (1991).
MSC:  68T15 68R05 05D10
PDF BibTeX XML Cite