Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Mnacho Echenim

The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Resolution Calculus for First-Order Schemata

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Related publications

NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Separation Logic

Communications of the ACM
Computer Science
2019English

Tutorial on Separation Logic (Invited Tutorial)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

The Essence of Higher-Order Concurrent Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Automatic Parallelization With Separation Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Separation of Powers and the Class Action

SSRN Electronic Journal
2015English

The Generation of 3D, Stretched, Viscous Unstructured Meshes for Arbitrary Domains

1996English

A Class of Non-Noetherian Domains

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1970English

Separation Logic With One Quantified Variable

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy