Elf: A meta-language for deductive systems
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 811-815
- https://doi.org/10.1007/3-540-58156-1_66
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Unification and anti-unification in the calculus of constructionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A framework for defining logicsJournal of the ACM, 1993
- Logic programming in the LF logical frameworkPublished by Cambridge University Press (CUP) ,1991
- Higher-order unification with dependent function typesPublished by Springer Nature ,1989