Generic Literals
From MaRDI portal
Publication:3453109
DOI10.1007/978-3-319-20615-8_7zbMath1417.68216OpenAlexW2912850379MaRDI QIDQ3453109
Publication date: 20 November 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20615-8_7
Related Items (4)
Mathematical models as research data via flexiformal theory graphs ⋮ Making PVS accessible to generic services by interpretation in a universal format ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ The future of logic: foundation-independence
Uses Software
Cites Work
- Unnamed Item
- A scalable module system
- Computer science logic. 4th workshop, CSL '90, Heidelberg, Germany, October 1--5, 1990. Proceedings
- An overview of a formal framework for managing mathematics
- The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation
- A Universal Machine for Biform Theory Graphs
- The MMT API: A Generic MKM System
- Term Rewriting with Logical Constraints
- The TPTP Typed First-Order Form with Arithmetic
- How to identify, translate and combine logics?
- Hints in Unification
- A framework for defining logics
- Biform Theories in Chiron
This page was built for publication: Generic Literals
