From multiple sequent for additive linear logic to decision procedures for free lattices

From MaRDI portal

(Redirected from From multiple sequent for additive linear logic to decision procedures for free lattices)

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=From_multiple_sequent_for_additive_linear_logic_to_decision_procedures_for_free_lattices&oldid=72034272"