Contextual equivalences in configuration structures and reversibility

Clément Aubert, Ioana Cristescu

Research output: Contribution to journalArticle

5 Scopus citations
Original languageEnglish (US)
JournalJournal of Logical and Algebraic Methods in Programming
DOIs
StatePublished - Jan 2017

Cite this