×

zbMATH — the first resource for mathematics

Found 69 Documents (Results 1–69)

100
MathJax
Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 11600, 160-172 (2019).
MSC:  68N30 03G10
PDF BibTeX XML Cite
Full Text: DOI
Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 274-287 (2015).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 31-44 (2015).
MSC:  68N18 03B40 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 135-150 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Lupacchini, Rossella (ed.) et al., Deduction, computation, experiment. Exploring the effectiveness of proof. Including papers from the workshop held at the University of Bologna, Bologna, Italy, April 3–4, 2007. Berlin: Springer (ISBN 978-88-470-0783-3/pbk). 117-140 (2008).
MSC:  03B35 68T15 68T20
PDF BibTeX XML Cite
Full Text: DOI
Schürmann, C. (ed.), Proceedings of the fourth international workshop on logical frameworks and meta-languages (LFM 2004), Cork, UK, July 5, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 199, 129-147 (2008).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Schürmann, C. (ed.), Proceedings of the fourth international workshop on logical frameworks and meta-languages (LFM 2004), Cork, UK, July 5, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 199, 33-47 (2008).
MSC:  03B70 03B40
PDF BibTeX XML Cite
Full Text: DOI
Basin, David (ed.) et al., Theorem proving in higher order logics. 16th international conference, TPHOLs 2003, Rome, Italy, September 8–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40664-6/pbk). Lect. Notes Comput. Sci. 2758, 120-135 (2003).
MSC:  68T15 03B35 68N18
PDF BibTeX XML Cite
Full Text: DOI
Baaz, Matthias (ed.) et al., Computer science logic. 17th international workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel colloquium KGC 2003, Vienna, Austria, August 25–30, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40801-0/pbk). Lect. Notes Comput. Sci. 2803, 484-497 (2003).
MSC:  03B70 03B40
PDF BibTeX XML Cite
Full Text: DOI
Hofmann, Martin (ed.), Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40332-9/pbk). Lect. Notes Comput. Sci. 2701, 105-119 (2003).
MSC:  68N18 03B70 03B40 68Q55 68Q60 68Q65 68T15
PDF BibTeX XML Cite
Full Text: Link
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 35-48 (2002).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Schwichtenberg, Helmut (ed.) et al., Proof and system-reliability. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, July 24 – August 5, 2001. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0607-1/hbk). NATO Sci. Ser. II, Math. Phys. Chem. 62, 167-211 (2002).
PDF BibTeX XML Cite
Ginzburg, Jonathan (ed.) et al., The Tbilisi symposium on logic, language and computation: Selected papers, Gudauri, Georgia, October 19-22, 1995. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 293-307 (1998).
MSC:  03B35 03B45
PDF BibTeX XML Cite
Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 222-288 (1993).
Reviewer: N.Curteanu (Iaşi)
MSC:  03B70 68W30 03B35 68Q60 12Y05
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 215-251 (1991).
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 185-214 (1991).
Reviewer: Li Xiang (Guiyang)
MSC:  03B70 68N15 68Q55
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 3-39 (1991).
MSC:  03B70 03F35 68T15 03B40 03-04
PDF BibTeX XML Cite

Filter Results by …

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