Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Didier Galmiche
Separation Logic With One Quantified Variable
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Quantified Logic of Evidence
Annals of Pure and Applied Logic
Logic
Formulas of One Propositional Variable in Intuitionistic Logic With the Solovay Modality
Logic and Logical Philosophy
Philosophy
Automatic Parallelization With Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Separation Logic
Communications of the ACM
Computer Science
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Effective Entailment Checking for Separation Logic With Inductive Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Two-Variable Logic With Counting and a Linear Order
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Modular Verification of Linked Lists With Views via Separation Logic.
Journal of Object Technology
Software
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
IPSJ Transactions on System LSI Design Methodology
Electronic Engineering
Computer Science Applications
Electrical
