Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ralf Jung
The Essence of Higher-Order Concurrent Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Higher-Order Logic
Who's Afraid of Higher-Order Logic?
Grazer Philosophische Studien
Philosophy
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Higher-Order Distributions for Differential Linear Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mechanizing Programming Logics in Higher Order Logic
HOL-λσ: An Intentional First-Order Expression of Higher-Order 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
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Essence of Conservation Forms in the Traveling Wave Solutions of Higher-Order Traffic Flow Models
Physical Review E
