Contextual equivalences in configuration structures and reversibility

Clément Aubert, Ioana Cristescu

Research output: Contribution to journalArticlepeer-review

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

Cite this