Search results
From MaRDI portal
- Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages 1977-01-01 Paper Theory of \(\omega\)-languages. II: A study...10 bytes (18 words) - 09:55, 13 December 2023
- are syntactic monoids of rational \(\omega\)-languages 1993-01-16 Paper Finitely generated bi\(\omega\)-languages 1992-06-28 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 16:43, 12 December 2023
- Theory of \(\omega\)-languages. I: Characterizations of \(\omega\)-context- free languages 1977-01-01 Paper Theory of \(\omega\)-languages. II: A study...10 bytes (18 words) - 09:50, 13 December 2023
- Descriptive Set Theory and $\omega$-Powers of Finitary Languages 2021-08-03 Paper Some complete \(\omega\)-powers of a one-counter language, for any Borel class...10 bytes (16 words) - 12:36, 28 January 2024
- Paper Literal shuffle on \(\omega\)-languages 1997-02-27 Paper Language-theoretical representations of \(\omega\)-languages 1989-01-01 Paper Accepting conditions...10 bytes (16 words) - 09:18, 7 October 2023
- 2001-09-23 Paper Literal shuffle on \(\omega\)-languages 1997-02-27 Paper Closure properties of subclasses of ω-regular languages under morphism and inverse morphism...10 bytes (16 words) - 09:18, 7 October 2023
- Paper On generators of rational \(\omega\)-power languages 1987-01-01 Paper Finitely generated \(\omega\)-languages 1986-01-01 Paper Two characterizations...10 bytes (16 words) - 08:55, 7 October 2023
- 2021-12-17 Paper Polynomial Identification of $$\omega $$-Automata 2021-11-10 Paper Regular \(\omega\)-languages with an informative right congruence 2021-06-03...10 bytes (16 words) - 03:32, 7 October 2023
- of \(\omega\)-languages 1987-01-01 Paper The greatest fixed-points and rational omega-tree languages 1986-01-01 Paper Characterization of \(\omega\)-regular...10 bytes (16 words) - 06:01, 7 October 2023
- Runtime Verification 2010-06-17 Paper Prognosis of \(\omega\)-languages for the diagnosis of *-languages: a topological perspective 2010-01-18 Paper Runtime...10 bytes (16 words) - 09:01, 7 October 2023
- mardi4nfdi.de/entity/Q3785942 1987-01-01 Paper Characterization of \(\omega\)-regular languages by monadic second-order formulas 1986-01-01 Paper On proving time...10 bytes (16 words) - 22:48, 24 September 2023
- subset for a set of \(-\omega \)-words defined by a \(-\omega \)-regular expression 2024-02-20 Paper Constructing a \(-\omega\)-regular expression specified...10 bytes (18 words) - 03:25, 9 December 2023
- Model Checking, and Abstract Interpretation 2005-12-06 Paper \(\omega\)-regular languages are testable with a constant number of queries 2005-02-09 Paper...10 bytes (16 words) - 09:24, 25 September 2023
- types have \(\omega\)-complete initial algebra specifications? 1994-04-05 Paper Module algebra 1990-01-01 Paper Partial evaluation and \(\omega\)-completeness...10 bytes (16 words) - 10:20, 13 December 2023
- 2004-01-28 Paper On elementary equivalence for fragments of language \(L_{\omega_ 1,\omega}\) 1996-01-03 Paper https://portal.mardi4nfdi.de/entity/Q4319172...10 bytes (18 words) - 09:59, 24 September 2023
- 1999-03-30 Paper A unified approach for showing language inclusion and equivalence between various types of \(\omega\)-automata 1999-02-25 Paper https://portal...10 bytes (18 words) - 16:53, 12 December 2023
- 2011-07-29 Paper A Tactic Language for Declarative Proofs 2010-09-14 Paper Crystal: Integrating structured queries into a tactic language 2010-01-25 Paper Organization...10 bytes (16 words) - 07:39, 7 October 2023
- complete countable \(L^Q_{\omega_1}\) theory with maximal models of many cardinalities 1972-01-01 Paper Maximal models in the language with quantifier There...10 bytes (19 words) - 12:32, 13 December 2023
- Paper On syntactic congruences for \(\omega\)-languages 1998-07-22 Paper Fractals, dimension, and formal languages 1998-02-26 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 00:31, 10 December 2023
- principle 1969-01-01 Paper Remarks on universal sentences of \(L_{\omega_ 1},_ \omega\) 1969-01-01 Paper Infinitary logic and admissible sets 1969-01-01...10 bytes (18 words) - 11:15, 13 December 2023
