Term Schemata and Formula Schemata

Computer science foundations and applied logic 2026 Book chapter

View at publisher
Authors: Alexander Leitsch, David Michael Cerna, Anela Lolić
DOI: 10.1007/978-3-032-05741-9_4
Cited by: 0

Fields of Study & Subjects

Logic programming and type systems Philosophy and Theoretical Science Computability AI Algorithms

Publication details

Journal / source
Computer science foundations and applied logic
Pages
41–80
Publication date
1 January 2026
Language
EN
Document type
Book chapter