Pages that link to "Item:Q3848195"
From MaRDI portal
The following pages link to Decision Problems of Finite Automata Design and Related Arithmetics (Q3848195):
Displaying 50 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Aural pattern recognition experiments and the subregular hierarchy (Q438585) (← links)
- A finite state intersection approach to propositional satisfiability (Q442157) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted automata and logics for infinite nested words (Q515684) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- A note on the number of monadic quantifiers in monadic \(\Sigma ^{1}_{1}\) (Q673910) (← links)
- A Büchi-like theorem for weighted tree automata over multioperator monoids (Q692910) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- On relation between linear temporal logic and quantum finite automata (Q783667) (← links)
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- Projection lemmas for \(\omega\)-languages (Q797297) (← links)
- Relativizations for the logic-automata connection (Q815004) (← links)
- Influence decision models: from cooperative game theory to social network analysis (Q826316) (← links)
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- Weighted automata and weighted logics with discounting (Q840767) (← links)
- Definable transductions and weighted logics for texts (Q844894) (← links)
- Weighted automata and weighted logics on infinite words (Q845080) (← links)
- Weighted tree automata and weighted logics (Q860890) (← links)
- Muller message-passing automata and logics (Q948076) (← links)
- Decision problems for Turing machines (Q990079) (← links)
- Mathematical logic and quantum finite state automata (Q1017412) (← links)
- In memoriam Calvin C. Elgot (Q1154455) (← links)
- Classifying regular events in symbolic logic (Q1173413) (← links)
- A regular characterization of graph languages definable in monadic second-order logic (Q1177179) (← links)
- On Turing degrees of Walrasian models and a general impossibility result in the theory of decision-making (Q1196206) (← links)
- Theories of automata on \(\omega\)-tapes: a simplified approach (Q1211504) (← links)
- Expressibility in a restricted second-order arithmetic (Q1258737) (← links)
- Monadic second-order definable graph transductions: a survey (Q1325847) (← links)
- Modulo-counting quantifiers over finite trees (Q1325850) (← links)
- Logical description of context-free graph languages (Q1384534) (← links)
- A generalization of the theory of incompletely specified machines (Q1393206) (← links)
- A descriptive complexity approach to the linear hierarchy. (Q1401413) (← links)
- A comparison of tree transductions defined by monadic second order logic and by attribute grammars (Q1582010) (← links)
- Computational complexity of decision problems on self-verifying finite automata (Q1622990) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- A unifying survey on weighted logics and weighted automata. Core weighted logic: minimal and versatile specification of quantitative properties (Q1797777) (← links)
- Bounds in the propagation of selection into logic programs (Q1813949) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- Uniform and nonuniform recognizability. (Q1853746) (← links)
- An operational and denotational approach to non-context-freeness (Q1870568) (← links)
- wMSO theories as grammar formalisms (Q1870569) (← links)
- Arithmetical definability and computational complexity (Q1885035) (← links)
- Inclusion relations between some congruences related to the dot-depth hierarchy (Q1917345) (← links)
- Weighted automata and weighted MSO logics for average and long-time behaviors (Q1932173) (← links)
- Weighted operator precedence languages (Q2064530) (← links)
