Search results
From MaRDI portal
- Paper Implicit language equations: existence and uniqueness of solutions 1997-02-28 Paper Unrestricted complementation in language equations over a one-letter...10 bytes (18 words) - 17:50, 11 December 2023
- Boolean grammars 2007-08-17 Paper Language equations with complementation: decision problems 2007-05-11 Paper Language Equations with Symmetric Difference 2007-05-02...10 bytes (17 words) - 09:17, 25 September 2023
- Publication Date of Publication Type Language equations for timed alternating finite automata 2004-05-18 Paper...10 bytes (16 words) - 20:48, 26 December 2023
- Publication Date of Publication Type Language equations for timed alternating finite automata 2004-05-18 Paper Equations and regular-like expressions for afa...10 bytes (16 words) - 20:48, 26 December 2023
- Publication Type FSM inference from long traces 2021-05-04 Paper Solving language equations using flanked automata 2018-10-25 Paper Catching a Structural Bug...10 bytes (16 words) - 21:48, 24 September 2023
- Paper ON EQUATIONS OVER SETS OF NUMBERS AND THEIR LIMITATIONS 2011-03-30 Paper BOOLEAN GRAMMARS AND GSM MAPPINGS 2010-11-11 Paper On Language Equations XXK = XXL...10 bytes (16 words) - 15:30, 6 October 2023
- Publication Date of Publication Type Language equations 2022-02-04 Paper Reversibility of computations in graph-walking automata 2020-12-15 Paper The Generalized...10 bytes (17 words) - 09:35, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4654643 2005-03-08 Paper Language equations, maximality and error-detection 2005-02-23 Paper Theory Is Forever...10 bytes (16 words) - 11:47, 6 October 2023
- Formulas of the Language L 2010-02-02 Paper An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring...10 bytes (18 words) - 01:21, 10 December 2023
- machine synthesized from its specification transformed from the language \(L^*\) to the language \(L\) 2014-10-24 Paper Compositional approach to the development...10 bytes (18 words) - 03:25, 9 December 2023
- incompressible Navier- Stokes equations --- Validation and model problems 1992-09-27 Paper The BLAZE language: A parallel language for scientific programming...10 bytes (18 words) - 09:40, 12 December 2023
- properties of finite sets of equations 1986-01-01 Paper Decidable properties of finite sets of equations in trivial languages 1984-01-01 Paper Some undecidability...10 bytes (16 words) - 05:19, 13 December 2023
- the relation between equations with max-product composition and the covering problem 2005-08-22 Paper Solution of fuzzy equations with max-product composition...10 bytes (18 words) - 04:35, 13 December 2023
- https://portal.mardi4nfdi.de/entity/Q5715828 2006-01-05 Paper Semantic language and multi-language MT approach based on SL 2004-10-28 Paper A novel computer architecture...10 bytes (16 words) - 14:32, 13 December 2023
- Paper Sound and Complete Axiomatizations of Coalgebraic Language Equivalence 2015-09-17 Paper Equations and Coequations for Weighted Automata 2015-09-16 Paper...10 bytes (19 words) - 01:41, 10 December 2023
- Towards a Domain-Specific Language for Reversible Assembly Sequences 2016-09-30 Paper Towards a General-Purpose, Reversible Language for Controlling Self-reconfigurable...10 bytes (18 words) - 19:01, 13 December 2023
- the language of arXiv proofs 2024-02-28 Paper Extensional equivalence and singleton types 2017-07-12 Paper Deciding type equivalence in a language with...10 bytes (18 words) - 12:23, 28 January 2024
- 2016-02-25 Paper Proving language inclusion and equivalence by coinduction 2015-12-28 Paper The dual equivalence of equations and coequations for automata...10 bytes (23 words) - 00:56, 10 December 2023
- Complexity of Trees 2015-11-10 Paper Reconstructing Words from a σ-palindromic Language 2015-06-26 Paper Efficient Computation of the Outer Hull of a Discrete...10 bytes (17 words) - 00:40, 10 December 2023
- in systems of affine recurrence equations 1997-02-28 Paper Geometrical tools to map systems of affine recurrence equations on regular arrays 1994-05-10 Paper...10 bytes (18 words) - 12:34, 13 December 2023