Search results
From MaRDI portal
- monadic theory of a countable ordinal 2009-03-23 Paper Church Synthesis Problem with Parameters 2009-03-12 Paper Decidable Theories of the Ordering of Natural...10 bytes (13 words) - 23:32, 9 December 2023
- Paper Distributive lattices with a decidable monadic second order theory. 2005-04-19 Paper Decidable first-order theories of one-step rewriting in trace monoids...10 bytes (13 words) - 09:20, 9 December 2023
- Axiomatizing the monodic fragment of first-order temporal logic 2002-12-02 Paper Decidable fragments of first-order temporal logics 2002-11-28 Paper https://portal...10 bytes (14 words) - 22:16, 9 December 2023
- Paper Decidability of Querying First-Order Theories via Countermodels of Finite Width 2023-04-13 Paper Foundations for an Abstract Proof Theory in the...10 bytes (15 words) - 17:48, 13 December 2023
- Paper A resolution calculus for first-order schemata 2013-08-26 Paper Completeness and Decidability Results for First-Order Clauses with Indices 2013-06-14...10 bytes (13 words) - 15:28, 7 December 2023
- of pushdown automata via first-order grammars 2020-10-23 Paper Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation...10 bytes (13 words) - 01:05, 9 December 2023
- logics 2009-02-17 Paper Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials 2008-10-27 Paper https://portal...10 bytes (13 words) - 23:48, 24 September 2023
- Subword Order 2010-07-29 Paper A Gandy Theorem for Abstract Structures and Applications to First-Order Definability 2010-07-28 Paper Decidability and computability...10 bytes (14 words) - 11:33, 12 December 2023
- Axiomatizing the monodic fragment of first-order temporal logic 2002-12-02 Paper Decidable fragments of first-order temporal logics 2002-11-28 Paper https://portal...10 bytes (15 words) - 18:24, 9 December 2023
- models 2020-02-28 Paper Decompositions of decidable abelian groups 2020-02-17 Paper Generic Hoare Logic for Order-Enriched Effects with Exceptions 2020-01-16...10 bytes (17 words) - 13:05, 10 December 2023
- II First-Order 0–1 Laws 1998-05-10 Paper https://portal.mardi4nfdi.de/entity/Q4359310 1998-03-23 Paper Fine Spectra and Limit Laws I. First-Order Laws...10 bytes (16 words) - 02:22, 10 December 2023
- 2023-06-15 Paper A decidable theory involving addition of differentiable real functions 2023-04-20 Paper Complexity assessments for decidable fragments of Set...10 bytes (15 words) - 15:28, 7 December 2023
- Enumeration for FO Queries over Nowhere Dense Graphs 2023-04-27 Paper Order-Invariant First-Order Logic over Hollow Trees 2023-02-07 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 09:16, 6 October 2023
- applications to two-variable first-order logic 2024-12-06 Paper A generic polynomial time approach to separation by first-order logic without quantifier alternation...10 bytes (13 words) - 01:00, 7 October 2023
- 2015-12-17 Paper Definable relations and first-order query languages over strings 2015-11-12 Paper The complexity of higher-order queries 2015-09-28 Paper Regular...10 bytes (14 words) - 18:09, 11 December 2023
- 2023-06-15 Paper A decidable theory involving addition of differentiable real functions 2023-04-20 Paper Complexity assessments for decidable fragments of Set...10 bytes (15 words) - 23:41, 10 December 2023
- relationships between theories of time granularity and the monadic second-order theory of one successor 2009-11-30 Paper A Decidable Spatial Logic with Cone-Shaped...10 bytes (13 words) - 04:34, 7 October 2023
- Bases Under the Fixed-Domain Semantics 2023-06-28 Paper Decidability of Querying First-Order Theories via Countermodels of Finite Width 2023-04-13 Paper Finite-Cliquewidth...10 bytes (15 words) - 06:30, 7 October 2023
- Tarski's relation algebra 2024-11-12 Paper Craig interpolation for decidable first-order fragments 2024-10-30 Paper Characterising modal formulas with examples...10 bytes (16 words) - 00:39, 10 December 2023
- Relation algebras from cylindric algebras. I 2002-12-11 Paper Decidable fragments of first-order temporal logics 2002-11-28 Paper Relation algebra reducts...10 bytes (14 words) - 16:23, 9 December 2023
