Search results
From MaRDI portal
- Unary finite automata vs. arithmetic progressions 2010-08-20 Paper Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems 2010-04-27...10 bytes (18 words) - 09:46, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q5207049 2020-01-03 Paper Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity 2018-01-04 Paper...10 bytes (17 words) - 19:36, 24 September 2023
- Reasoning about XML with temporal logics and automata 2010-06-11 Paper Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems 2010-04-27...10 bytes (19 words) - 01:39, 10 December 2023
- Notes on complexity of packing coloring 2018-06-15 Paper Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity 2018-01-04 Paper...10 bytes (17 words) - 19:05, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q4636646 2018-04-19 Paper Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity 2018-01-04 Paper...10 bytes (17 words) - 18:15, 6 October 2023
- https://portal.mardi4nfdi.de/entity/Q4636646 2018-04-19 Paper Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity 2018-01-04 Paper...10 bytes (17 words) - 18:37, 24 September 2023
- Work-Efficient Parallel Parameterized Algorithms 2019-10-15 Paper A gentle introduction to applications of algorithmic metatheorems for space and circuit classes...10 bytes (16 words) - 03:32, 7 October 2023
- 2016-09-09 Paper Satisfiability via Smooth Pictures 2016-09-05 Paper An algorithmic metatheorem for directed treewidth 2016-04-07 Paper MSO Logic and the Partial...10 bytes (20 words) - 10:50, 7 October 2023
- nonexpansive mappings in Banach and geodesic spaces 2017-01-11 Paper Logical metatheorems for abstract spaces axiomatized in positive bounded logic 2016-02-02...10 bytes (18 words) - 14:04, 8 December 2023
- Mining to the Proximal Point Algorithm in CAT(0) Spaces 2019-07-04 Paper Effective strong convergence of the proximal point algorithm in CAT(0) spaces 2019-02-07...10 bytes (16 words) - 13:36, 28 January 2024
- problem for linear context-free grammars 1976-01-01 Paper Complexity metatheorems for context-free grammar problems 1976-01-01 Paper https://portal.mardi4nfdi...10 bytes (18 words) - 11:14, 24 September 2023
- problem for linear context-free grammars 1976-01-01 Paper Complexity metatheorems for context-free grammar problems 1976-01-01 Paper On the complexity...10 bytes (21 words) - 08:05, 9 December 2023
- Failures semantics and deadlocking of modular Petri nets 1989-01-01 Paper Metatheorems for decision problems on hyperedge replacement graph languages 1989-01-01...10 bytes (16 words) - 01:52, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q4943606 2000-03-19 Paper An Optimal Algorithm for Monte Carlo Estimation 2000-03-19 Paper PRICING EXOTIC OPTIONS 2000-01-01...10 bytes (18 words) - 16:45, 10 December 2023
- interpretations; fixed-parameter tractability; parameterized complexity; algorithmic metatheorems; bounded-degree graphs; sparse graph classes; FO logic; logic interpretations...15 bytes (116 words) - 16:07, 2 May 2024
- available at URL: https://arxiv.org/abs/2001.00758 zbMATH Keywords algorithmic metatheorems; bidimensionality; graph completion; CMSO logic Mathematics Subject...15 bytes (44 words) - 11:42, 8 February 2024
- Keywords algorithmic metatheorems; bidimensionality; graph completion; CMSO-logic Mathematics Subject Classification ID 68Q25: Analysis of algorithms and problem...15 bytes (68 words) - 14:27, 8 February 2024
- available at URL: https://arxiv.org/abs/1410.0589 zbMATH Keywords algorithmic metatheorems; combinatorial slice theory; directed treewidth; monadic second...15 bytes (74 words) - 02:46, 30 January 2024
- 1016/j.dam.2011.03.016 zbMATH Keywords matroids; algorithmic metatheorems; branch-width; matroid algorithms Mathematics Subject Classification ID 05B35: Combinatorial...15 bytes (69 words) - 04:43, 30 January 2024
- space; algorithmic metatheorems; Courcelle's theorem; tree depth; circuit classes Mathematics Subject Classification ID 68Q25: Analysis of algorithms and...15 bytes (92 words) - 07:42, 1 February 2024
