DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Trace monoid
Trace monoid
Event Structures and Trace Monoids
Technische Universit¨At Dresden
On the Theory of One-Step Rewriting in Trace Monoids
Arxiv:2105.02853V2 [Math.GR] 27 Jul 2021 H Uhri Urnl Hd Tdn Tteuiest Fe of University the at Student Ph.D
Download This PDF File
Logic -> Proof -> REST
The Star Problem and the Finite Power Property in Trace Monoids: Reductions Beyond C4
Representation of Computations in Concurrent Automata by Dependence Orders ’
Finite Transducers for Divisibility Monoids Matthieu Picantin
Complexity Results for Confluence Problems
Introduction to Trace Theory 1 Introduction
Uniform and Bernoulli Measures on the Boundary of Trace Monoids
Arxiv:Cs/0609110V1 [Cs.LO] 19 Sep 2006 Ntebgnigwstewr
The Homology Groups of a Partial Trace Monoid Action
Denotational Trace: a Category-Theoretic Solution to the Practical Problems of Software Execution Tracing
Contributions to a Trace Theory Beyond Mazurkiewicz Traces
Local Testability from Words to Traces, a Suitable Definition
Confluence Problems for Trace Rewriting Systems
Top View