Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Magnus O. Myreen
Separation Logic Adapted for Proofs by Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extensible Proof-Producing Compilation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Cyclic Proofs for Linear Temporal Logic
Logic Programming as Hypergraph Rewriting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Separation Logic
Communications of the ACM
Computer Science
A Rewriting Logic Approach to Operational Semantics
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Translating Logic Programs Into Conditional Rewriting Systems
Combining Unification and Rewriting in Proofs for Modal Logics With First-Order Undefinable Frames
Proof Automation for Functional Correctness in Separation Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Permission-Based Separation Logic for Multithreaded Java Programs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Permission-Based Separation Logic for Message-Passing Concurrency
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
