Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Max Kanovich
Biabduction (And Related Problems) in Array 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
Related publications
Separation Logic
Communications of the ACM
Computer Science
Identification of Separation-Related Problems in Domestic Cats: A Questionnaire Survey
PLoS ONE
Multidisciplinary
Developing Diagnostic Frameworks in Veterinary Behavioral Medicine: Disambiguating Separation Related Problems in Dogs
Frontiers in Veterinary Science
Veterinary
Automatic Parallelization With Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Automation for Functional Correctness in Separation Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Separation Logic With One Quantified Variable
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tutorial on Separation Logic (Invited Tutorial)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quantum Logic and Related Systems
Annals of the Japan Association for Philosophy of Science
