×

zbMATH — the first resource for mathematics

Found 28 Documents (Results 1–28)

100
MathJax
Beklemishev, Lev D. (ed.) et al., Computer science – theory and applications. 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20296-9/pbk; 978-3-319-20297-6/ebook). Lecture Notes in Computer Science 9139, 262-282 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Studies in Logic and the Foundations of Mathematics. 133. Amsterdam: Elsevier. xix, 1024 p. (1994).
MSC:  03B35 03B40 00B60
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 120-148 (1991).
MSC:  03B35 68T15 03F07 03B40 03B15 03F35
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 69-86 (1991).
MSC:  03B40 03B80 68N99
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 40-67 (1991).
MSC:  03B40 03B80 68T99
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software