Search results
From MaRDI portal
- cellular automata for infinite traces 2019-12-04 Paper A domain for concurrent termination a generalization of Mazurkiewicz traces 2019-01-10 Paper A unifying...10 bytes (13 words) - 12:44, 28 January 2024
- generalization of Mazurkiewicz traces 2019-01-10 Paper Regular Languages Are Church-Rosser Congruential 2018-08-02 Paper Solving trace equations using lexicographical...10 bytes (15 words) - 23:13, 24 September 2023
- Paper Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces 2010-08-18 Paper Some natural decision problems in automatic graphs...10 bytes (13 words) - 09:20, 9 December 2023
- Foundations of Computer Science 2005 2006-10-20 Paper Time-stamps for Mazurkiewicz traces. 2006-05-18 Paper Mathematical Foundations of Computer Science 2004...10 bytes (13 words) - 23:54, 9 December 2023
- from words to traces, a suitable definition 2016-12-19 Paper An extension of the wreath product principle for finite Mazurkiewicz traces 2016-06-09 Paper...10 bytes (13 words) - 20:57, 10 December 2023
- Criteria for Local First Search 2008-09-11 Paper The Implementation of Mazurkiewicz Traces in POEM 2008-09-04 Paper Adding Invariants to Event Zone Automata...10 bytes (13 words) - 16:16, 6 October 2023
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces 2023-08-16 Paper Precongruence formats for decorated trace semantics 2017-07-12 Paper On the expressive...10 bytes (13 words) - 06:04, 7 October 2023
- 2017-11-16 Paper An extension of the wreath product principle for finite Mazurkiewicz traces 2016-06-09 Paper Modular constructions of distributing automata 2010-06-17...10 bytes (14 words) - 20:57, 10 December 2023
- Criteria for Local First Search 2008-09-11 Paper The Implementation of Mazurkiewicz Traces in POEM 2008-09-04 Paper Discriminative Model Checking 2008-07-15...10 bytes (13 words) - 10:38, 7 October 2023
- Completion of Posets with Projections 2013-06-06 Paper The topology of Mazurkiewicz traces. 2004-03-14 Paper https://portal.mardi4nfdi.de/entity/Q4424944 2003-09-09...10 bytes (13 words) - 11:51, 24 September 2023
- Fragments for Words and Mazurkiewicz Traces 2007-11-28 Paper Polynomials, fragments of temporal logic and the variety DA over traces 2007-05-11 Paper https://portal...10 bytes (13 words) - 12:45, 7 October 2023
- 2006-11-14 Paper An expressively complete linear time temporal logic for Mazurkiewicz traces 2006-10-10 Paper Lectures on Concurrency and Petri Nets 2005-12-23...10 bytes (15 words) - 08:04, 25 September 2023
- Publication Type An extension of the wreath product principle for finite Mazurkiewicz traces 2016-06-09 Paper https://portal.mardi4nfdi.de/entity/Q4699318 2000-08-03...10 bytes (13 words) - 09:31, 6 October 2023
- 2006-11-14 Paper An expressively complete linear time temporal logic for Mazurkiewicz traces 2006-10-10 Paper Characterizing EF and EX tree logics 2006-09-13 Paper...10 bytes (13 words) - 16:20, 6 October 2023
- 2017-02-07 Paper An extension of the wreath product principle for finite Mazurkiewicz traces 2016-06-09 Paper On the genericity of Whitehead minimality 2016-01-19...10 bytes (13 words) - 20:57, 10 December 2023
- networks 2023-11-30 Paper Trade-offs in true concurrency: Pomsets and mazurkiewicz traces 2023-08-16 Paper Safety Verification for Deep Neural Networks with...10 bytes (16 words) - 13:12, 10 December 2023
- Publication Date of Publication Type A tableau proof system for a mazurkiewicz trace logic with fixpoints 2019-01-15 Paper An automata based approach for...10 bytes (13 words) - 05:18, 7 October 2023
- mappings of bounded variation in metric measure spaces 2023-08-20 Paper Traces of Newton-Sobolev functions on the visible boundary of domains in doubling...10 bytes (14 words) - 11:38, 9 December 2023
- and boundary regularity for p-harmonic functions with respect to the Mazurkiewicz boundary and other compactifications’ 2019-08-12 Paper Sphericalization...10 bytes (13 words) - 08:46, 25 September 2023
- gradients and quasicontinuity on quasiopen sets 2016-07-15 Paper The Mazurkiewicz distance and sets that are finitely connected at the boundary 2016-05-12...10 bytes (13 words) - 08:46, 25 September 2023
