Search results
From MaRDI portal
- interpreter for a strongly typed language 1989-01-01 Paper Generalization from partial parametrization in higher-order type theory 1989-01-01 Paper https://portal...10 bytes (13 words) - 10:30, 7 October 2023
- \textsc{Prawf}: an interactive proof system for program extraction 2022-12-16 Paper Martin Hofmann's Case for Non-Strictly Positive Data Types 2022-07-21 Paper Intuitionistic...10 bytes (13 words) - 23:36, 24 September 2023
- Paper BSP: A Parsing Tool for Ambiguous Regular Expressions 2015-09-23 Paper From Ambiguous Regular Expressions to Deterministic Parsing Automata 2015-09-23...10 bytes (15 words) - 02:13, 25 September 2023
- 2003-04-23 Paper LR parsing for conjunctive grammars 2002-12-15 Paper https://portal.mardi4nfdi.de/entity/Q4531380 2002-12-01 Paper Top-down parsing of conjunctive...10 bytes (15 words) - 08:17, 25 September 2023
- Cellular Space 2023-04-28 Paper GENERATION AND PARSING OF MORPHISM LANGUAGES BY UNIQUELY PARALLEL PARSABLE GRAMMARS 2022-12-06 Paper Gliders in the game...10 bytes (15 words) - 02:30, 9 December 2023
- Pascal 1980-01-01 Paper SIMPLE: A program development system 1980-01-01 Paper Incremental Parsing 1979-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4194410...10 bytes (15 words) - 04:39, 12 December 2023
- Static Black-Peg AB Game With Two and Three Pegs 2022-10-10 Paper Graph Parsing as Graph Transformation 2022-09-01 Paper Hybrid tree automata and the yield...10 bytes (13 words) - 17:21, 9 December 2023
- Publication Date of Publication Type Natural language parsing 2021-11-12 Paper A derivational model of discontinuous parsing 2021-07-21 Paper Non-self-embedding...10 bytes (16 words) - 13:33, 8 December 2023
- Paper BSP: A Parsing Tool for Ambiguous Regular Expressions 2015-09-23 Paper From Ambiguous Regular Expressions to Deterministic Parsing Automata 2015-09-23...10 bytes (13 words) - 16:21, 11 December 2023
- cellular automata 2024-01-08 Paper GENERATION AND PARSING OF MORPHISM LANGUAGES BY UNIQUELY PARALLEL PARSABLE GRAMMARS 2022-12-06 Paper Effect of random fluctuations...10 bytes (13 words) - 13:35, 6 October 2023
- Paper Characteristic parsing: A framework for producing compact deterministic parsers. I 1977-01-01 Paper Protection in operating systems 1976-01-01 Paper...10 bytes (17 words) - 09:01, 24 September 2023
- Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars 2022-03-21 Paper Extending predictive shift-reduce parsing to contextual hyperedge...10 bytes (13 words) - 16:41, 6 October 2023
- Publication Type An algorithm for finding input-output constrained convex sets in an acyclic digraph 2012-09-13 Paper Recognition is not parsing - SPPF-style...10 bytes (14 words) - 22:27, 11 December 2023
- 2014-05-06 Paper Operator Precedence ω-Languages 2013-06-28 Paper Parallel parsing of operator precedence grammars 2013-03-20 Paper A unifying approach to...10 bytes (13 words) - 11:04, 6 October 2023
- Date of Publication Type Typing dynamic typing 2015-10-07 Paper Scripting the type inference process 2015-07-02 Paper Polish parsers, step by step 2015-07-02...10 bytes (16 words) - 15:20, 12 December 2023
- 1982-01-01 Paper Correction to "Error-Correcting Parsers for Formal Languages" 1982-01-01 Paper Conversion and parsing of tree transducers for syntactic pattern...10 bytes (17 words) - 21:12, 12 December 2023
- Flow Graphs 1974-01-01 Paper Error detection in precedence parsers 1973-01-01 Paper Parsing algorithms with backtrack 1973-01-01 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 00:39, 10 December 2023
- 1981-01-01 Paper Semantic routines and \(LR(k)\) parsers 1980-01-01 Paper Exact formulas for the buddy system 1980-01-01 Paper Tree Size by Partial Backtracking...10 bytes (17 words) - 20:07, 12 December 2023
- Descent Parsers 1979-01-01 Paper A Case Study in Program Transformation: Translation into Polish 1979-01-01 Paper Analyses of deterministic parsing algorithms...10 bytes (15 words) - 09:59, 24 September 2023
- Noncanonical LALR(1) Parsing 2009-03-26 Paper Conservative Ambiguity Detection in Context-Free Grammars 2007-11-28 Paper Shift-Resolve Parsing: Simple, Unbounded...10 bytes (13 words) - 02:32, 7 October 2023
