Fresh logic: Proof-theory and semantics for FM and nominal techniques

From MaRDI portal

(Redirected from Fresh logic: Proof-theory and semantics for FM and nominal techniques)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Fresh_logic:_Proof-theory_and_semantics_for_FM_and_nominal_techniques&oldid=72630711"