Search results
From MaRDI portal
- Axiomatic inscriptional syntax. II: The syntax of protothetic 1973-01-01 Paper Axiomatic inscriptional syntax. I: General syntax 1972-01-01 Paper https://portal...10 bytes (18 words) - 22:16, 12 December 2023
- Imperfectly Specified Patterns 1975-01-01 Paper Fuzzy Syntax-Directed Translations 1975-01-01 Paper Stochastic Syntax-Directed Translation Schemata for Correction...10 bytes (18 words) - 12:52, 13 December 2023
- translation of graphical diagrams 2012-03-12 Paper Syntax error recovery in graphical languages 2009-09-04 Paper Syntax-directed implementation of visual languages...10 bytes (18 words) - 21:34, 12 December 2023
- approach to reasoning with higher-order abstract syntax 2012-07-31 Paper Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison 2010-09-14 Paper...10 bytes (18 words) - 12:30, 9 December 2023
- with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms 2013-12-03 Paper First Order Languages: Further Syntax and Semantics 2013-12-03...10 bytes (18 words) - 03:55, 12 December 2023
- Tree-walking-storage automata 2023-11-16 Paper Reversible Top-Down Syntax Analysis 2023-08-15 Paper Syntax checking either way 2023-06-21 Paper Designing a reversible...10 bytes (16 words) - 10:30, 7 October 2023
- Paper Initial Semantics for higher-order typed syntax in Coq 2019-09-18 Paper Initiality for Typed Syntax and Semantics 2019-09-18 Paper From signatures...10 bytes (17 words) - 20:29, 6 October 2023
- programs from syntax 1967-01-01 Paper Letters to the editor: syntax and generalization of ALGOL 60 1965-01-01 Paper Metalanguage and syntax specification...10 bytes (18 words) - 18:47, 6 October 2023
- for vocalization syntax 2022-12-30 Paper Bayesian Semiparametric Mixed Effects Markov Models With Application to Vocalization Syntax 2019-03-20 Paper Bayesian...10 bytes (13 words) - 12:50, 6 October 2023
- for vocalization syntax 2022-12-30 Paper Bayesian Semiparametric Mixed Effects Markov Models With Application to Vocalization Syntax 2019-03-20 Paper Bayesian...10 bytes (14 words) - 12:50, 6 October 2023
- 1969-01-01 Paper Partial ordering of the syntax elements of a language 1968-01-01 Paper The applicability matrix of a syntax-directed parsing processor 1968-01-01...10 bytes (18 words) - 12:27, 14 March 2024
- Paper Lower bounds for the lengths of refutations 1993-12-06 Paper Taxonomic syntax for first order inference 1993-06-29 Paper Automatic recognition of tractability...10 bytes (18 words) - 12:03, 13 December 2023
- weighted loss 2002-08-20 Paper Taxonomic syntax for first order inference 1993-06-29 Paper Natural language syntax and first-order inference 1992-09-27 Paper...10 bytes (18 words) - 18:48, 12 December 2023
- view on homogeneous groups 2019-10-22 Paper Syntax versus semantics in knowledge bases II 2019-10-22 Paper Syntax versus semantics in knowledge bases – I 2019-01-18...10 bytes (18 words) - 16:37, 10 December 2023
- BIMORPHISMS 2010-06-18 Paper Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms — Revisited 2009-11-05 Paper Defining syntax-directed translations...10 bytes (18 words) - 10:43, 24 September 2023
- type-safe transformations using higher-order abstract syntax 2019-09-18 Paper Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions...10 bytes (16 words) - 17:20, 6 October 2023
- Publication Date of Publication Type Building syntax graphs from syntax equations: A case study in modular programming 1983-01-01 Paper...10 bytes (16 words) - 19:53, 26 December 2023
- Publication Date of Publication Type Building syntax graphs from syntax equations: A case study in modular programming 1983-01-01 Paper...10 bytes (16 words) - 19:53, 26 December 2023
- Noiselike transforms of \(\omega\)-events 1976-01-01 Paper Syntax-directed correction of syntax errors 1976-01-01 Paper...10 bytes (16 words) - 10:44, 24 September 2023
- The mathematics of the modernist villa. Architectural analysis using space syntax and isovists 2018-04-04 Paper Differentiating between line and point maps...10 bytes (18 words) - 02:01, 12 December 2023
