Term-Generic Logic
From MaRDI portal
Publication:3184738
DOI10.1007/978-3-642-03429-9_19zbMath1253.03061MaRDI QIDQ3184738
Publication date: 22 October 2009
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03429-9_19
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundations of algebraic specification and formal software development.
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- An algebraic generalization of Frege structures -- binding algebras
- Institution-independent model theory
- Uniform proofs as a foundation for logic programming
- A framework for defining logics
- Institutions: abstract model theory for specification and programming
- Explicit substitutions
- Introduction to generalized type systems
- Reasoning with higher-order abstract syntax in a logical framework