Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peter O’Hearn
Tutorial on Separation Logic (Invited Tutorial)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Tutorial Notes: Reasoning About Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Polymer-Stabilized Blue Phase Liquid Crystals: A Tutorial [Invited]
Optical Materials Express
Optical
Electronic
Magnetic Materials
A Short Tutorial on Order-Invariant First-Order Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Tutorial on Synthesis of Logic Programs From Specifications
Tutorial Abstracts
Tutorial on EM Algorithm
Tutorial on Separation Results in Process Calculi via Leader Election Problems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Apache Maven Tutorial
Tutorial Review on Image Hiding
IJARCCE
