EDBT 2026 Demo / reviewers in the wild / expert
Mnacho Echenim
dblp:24/2264
· DBLP profile ↗
3ranked-venue papers in the field
3as first author
2since 2021 · last 2023
0000-0001-5765-0758ORCID · verified
Domains — venue-derived; a paper can count in several
Other / Interdisciplinary · 3 (3 first)
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | An undecidability result for Separation Logic with theory reasoning
Mnacho Echenim, Nicolas Peltier |
Inf. Process. Lett. | 1 |
| 2022 | Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules
Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Inf. Process. Lett. | 1 |
| 2011 | Modular instantiation schemes
Mnacho Echenim, Nicolas Peltier |
Inf. Process. Lett. | 1 |