Axiomatization of Typed First-Order Logic
From MaRDI portal
Publication:5206956
DOI10.1007/978-3-319-19249-9_29zbMath1427.68053MaRDI QIDQ5206956
Mattias Ulbrich, Peter H. Schmitt
Publication date: 19 December 2019
Published in: FM 2015: Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-19249-9_29
03B70: Logic in computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Frontiers of combining systems. 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5--7, 2011. Proceedings
- Tools and algorithms for the construction and analysis of systems. 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20--28, 2010. Proceedings
- Expressing Polymorphic Types in a Many-Sorted Language
- A Polymorphic Intermediate Verification Language: Design and Logical Encoding
- Automated Reasoning with Analytic Tableaux and Related Methods