Search results
From MaRDI portal
- Constraints as Linear Tree Transductions via Controlled Optimality Systems 2012-11-02 Paper Locality and the Complexity of Minimalist Derivation Tree Languages 2012-11-02...10 bytes (16 words) - 12:19, 28 January 2024
- 2012-05-24 Paper Solving Fixed-Point Equations by Derivation Tree Analysis 2011-09-02 Paper Derivation tree analysis for accelerated fixed-point computation...10 bytes (16 words) - 03:32, 7 October 2023
- infinite cascade of Stern-Brocot sum trees 2022-04-07 Paper Complex mode-locking oscillations and Stern–Brocot derivation tree in a CSTR reaction with impulsive...10 bytes (18 words) - 01:11, 25 September 2023
- infinite cascade of Stern-Brocot sum trees 2022-04-07 Paper Complex mode-locking oscillations and Stern–Brocot derivation tree in a CSTR reaction with impulsive...10 bytes (18 words) - 02:32, 25 September 2023
- n formalisms 1997-01-05 Paper A bound on the length of a random derivation-search tree in general multi-premise calculi 1992-09-27 Paper https://portal...10 bytes (18 words) - 12:14, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q3113763 2012-01-23 Paper Derivation tree analysis for accelerated fixed-point computation 2011-07-07 Paper Runtime...10 bytes (16 words) - 12:40, 28 January 2024
- 1981-01-01 Paper A note on the pebble game 1980-01-01 Paper Weighted derivation trees 1976-01-01 Paper...10 bytes (18 words) - 00:08, 13 December 2023
- 2003-06-18 Paper Derivation trees of ground term rewriting systems. 2003-01-14 Paper Macro tree transducers, attribute grammars, and MSO definable tree translations...10 bytes (16 words) - 03:23, 9 December 2023
- case study of tree transducers 1992-06-28 Paper Modular tree transducers 1991-01-01 Paper High level tree transducers and iterated pushdown tree transducers...10 bytes (16 words) - 09:57, 8 December 2023
- Algebraic aspects of rooted tree maps 2023-01-17 Paper Rooted tree maps for multiple \(L\)-values 2022-08-04 Paper ROOTED TREE MAPS AND THE KAWASHIMA RELATIONS...10 bytes (16 words) - 07:52, 7 October 2023
- 2016-09-29 Paper Tree parsing for tree-adjoining machine translation 2014-05-12 Paper Unidirectional Derivation Semantics for Synchronous Tree-Adjoining Grammars...10 bytes (16 words) - 03:05, 25 September 2023
- Publication Date of Publication Type A formal derivation of Heaps' law 2005-08-04 Paper Symmetric functions, Latin squares and Van der Corput's ``Scriptum...10 bytes (20 words) - 10:13, 13 December 2023
- de/entity/Q4330728 2002-05-14 Paper A Survey on Binary Tree Codings 2002-01-17 Paper Left distance binary tree representations 2002-01-17 Paper https://portal...10 bytes (17 words) - 14:34, 8 December 2023
- evaluation of algorithms for Steiner Tree on tree decompositions 2015-05-04 Paper FINDING SMALL EQUIVALENT DECISION TREES IS HARD 2015-04-29 Paper On exact...10 bytes (19 words) - 07:47, 9 December 2023
- 2023-03-02 Paper Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs 2022-09-29 Paper A Lyndon's identity theorem for...10 bytes (18 words) - 11:26, 11 December 2023
- Weakest preconditions for progress 1992-09-26 Paper Inversion of a recursive tree traversal 1992-06-28 Paper Distributed sorting 1990-01-01 Paper An algorithm...10 bytes (24 words) - 21:40, 12 December 2023
- information value of documents 2005-12-05 Paper A formal derivation of Heaps' law 2005-08-04 Paper Deriving and paraphrasing information grammars using object-oriented...10 bytes (22 words) - 10:13, 13 December 2023
- RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA 2005-08-03 Paper Hasse diagrams for classes of deterministic bottom-up tree-to-tree-series transformations...10 bytes (16 words) - 11:16, 7 October 2023
- non-closed fields 2022-11-01 Paper Derived Categories of Families of Sextic del Pezzo Surfaces 2022-04-05 Paper Derived categories of singular surfaces 2022-03-29...10 bytes (19 words) - 15:15, 9 December 2023
- mardi4nfdi.de/entity/Q5411484 2014-04-23 Paper Idempotent tree languages 2013-04-25 Paper SEMIGROUPS OF TREE LANGUAGES 2009-04-28 Paper...10 bytes (16 words) - 03:01, 28 December 2023