Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Christoph Benzmüller
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Step Analysis for Proof Tutoring - A Learning Approach to Granularity
Teaching Mathematics and Computer Science
Related publications
Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions
CIFOL: Case-Intensional First Order Logic
Journal of Philosophical Logic
Philosophy
Higher-Order Logic
Who's Afraid of Higher-Order Logic?
Grazer Philosophische Studien
Philosophy
The Essence of Higher-Order Concurrent Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mechanizing Programming Logics in Higher Order Logic
Higher-Order Distributions for Differential Linear Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Implementing Type Theory in Higher Order Constraint Logic Programming
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
HOL-λσ: An Intentional First-Order Expression of Higher-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
