Full Text Available
Access Full Text at Repository
Search Results - Algebra
-
Free complete Wasserstein algebras
Published in Logical Methods in Computer Science (2018)Get full text
Online Article RSS Article -
Towards an Algebra for Cascade Effects
Published in Logical Methods in Computer Science (2017)Get full text
-
Disjoint-union partial algebras
Published in Logical Methods in Computer Science (2017)Get full text
-
Algebraic Structure of Combined Traces
Published in Logical Methods in Computer Science (2013)Get full text
-
Formal Theories for Linear Algebra
Published in Logical Methods in Computer Science (2012)Get full text
-
Deciding Kleene Algebras in Coq
Published in Logical Methods in Computer Science (2012)Get full text
-
Pebble Games and Algebraic Proof Systems
Published in Logical Methods in Computer Science (2026)Get full text
-
Pebble Games and Algebraic Proof Systems
Published in Logical Methods in Computer Science (2026)Get full text
-
A Factorization Theorem for Forest Algebras
Published in ArXiv cs.FL Recent Papers (2026)Get full text