Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jens Katelaan
Effective Entailment Checking for Separation Logic With Inductive Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Compositional Entailment Checking for a Fragment of Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Foundations for Decision Problems in Separation Logic With General Inductive Predicates
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalised State Descriptions for Strong First-Degree Entailment Logic Extensions
Humanities Bulletin of BMSTU
Representing Biases for Inductive Logic Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantitative Pharmacophore Models With Inductive Logic Programming
Machine Learning
Artificial Intelligence
Software
Local Constructive Set Theory and Inductive Definitions
Foundational Theories of Classical and Constructive Mathematics
Automatic Parallelization With Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Cryptographic Protocols With Interval Temporal Logic
Journal of Convergence Information Technology
Separation Logic
Communications of the ACM
Computer Science
