Search results
From MaRDI portal
- Xiao-Xun He (section List of research outcomes)Publication Date of Publication Type A fast algorithm for translating combinator expressions with BC-chains 1987-01-01 Paper...10 bytes (18 words) - 10:26, 24 September 2023
- Robert M. Graham (section List of research outcomes)Publication Date of Publication Type https://portal.mardi4nfdi.de/entity/Q5601816 1964-01-01 Paper An Algorithm for Translating Boolean Expressions 1962-01-01...10 bytes (18 words) - 16:03, 6 October 2023
- Kohei Noshita (section List of research outcomes)Paper A fast algorithm for translating combinator expressions with BC-chains 1987-01-01 Paper On the number of edges in the transitive closure of a graph 1986-01-01...10 bytes (16 words) - 11:28, 6 October 2023
- Bernard Galler (section List of research outcomes)1966-01-01 Paper An improved equivalence algorithm 1964-01-01 Paper An Algorithm for Translating Boolean Expressions 1962-01-01 Paper Compiling matrix operations...10 bytes (18 words) - 03:48, 7 October 2023
- Bruce W. Arden (section List of research outcomes)Paper An Algorithm for Translating Boolean Expressions 1962-01-01 Paper The internal organization of the MAD translator 1961-01-01 Paper An algorithm for equivalence...10 bytes (18 words) - 16:03, 6 October 2023
- Michael G. Thomason (section List of research outcomes)Properties of stochastic syntax-directed translation schemata 1979-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4162685 1978-01-01 Paper Convergence of powers...10 bytes (18 words) - 12:52, 13 December 2023
- Derick Wood (section List of research outcomes)context-free grammars 1970-01-01 Paper A proof of Hamblin's algorithm for translation of arithmetic expressions from infix to postfix form 1969-01-01 Paper...10 bytes (17 words) - 19:27, 9 December 2023
- Gerhard W. Dueck (section List of research outcomes)Publication Date of Publication Type Synthesis of Majority Expressions Through Primitive Function Manipulation 2024-01-23 Paper Translation Techniques for...10 bytes (18 words) - 22:03, 8 December 2023
- Jeffrey D. Ullman (section List of research outcomes)Paper A characterization of two-way deterministic classes of languages 1970-01-01 Paper A general theory of translation 1969-01-01 Paper Some Results on...10 bytes (19 words) - 01:39, 10 December 2023
- John E. Hopcrofts (section List of research outcomes)Multiplication 1971-01-01 Paper Images of AFL under certain families of homomorphisms 1971-01-01 Paper An Overview of the Theory of Computational Complexity 1971-01-01...10 bytes (19 words) - 09:33, 13 December 2023
- Alberto Policriti (section List of research outcomes)universally quantified formulae of set theory 1994-10-17 Paper A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets 1994-09-26...10 bytes (17 words) - 14:26, 12 December 2023
- David H. Bailey (section List of research outcomes)mardi4nfdi.de/entity/Q4377084 1998-02-09 Paper Algorithm 719: Multiprecision translation and execution of FORTRAN programs 1998-01-26 Paper A Fortran 90-based...10 bytes (19 words) - 12:59, 11 December 2023
- Wen He (section List of research outcomes)extended comparative linguistic expressions with symbolic translation 2023-10-30 Paper Impact of capacity flexibility on the use of booking limits 2019-01-09...10 bytes (16 words) - 03:07, 7 October 2023
- Kurt Mehlhorn (section List of research outcomes)Publication Date of Publication Type On the all-pairs shortest path algorithm of Moffat and Takaoka 2023-05-08 Paper A complete and efficient algorithm for the...10 bytes (17 words) - 01:47, 10 December 2023
- José-Miguel Benedí (section List of research outcomes)Paper On the use of a metric-space search algorithm (AESA) for fast DTW-based recognition of isolated words 1988-01-01 Paper Interpretation of fuzzy data by...10 bytes (18 words) - 06:03, 9 December 2023
- Akiko N. Aizawa (section List of research outcomes)2014-08-07 Paper A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions 2013-08-09 Paper https://portal.mardi4nfdi.de/entity/Q3185213...10 bytes (18 words) - 13:31, 13 December 2023
- José A. Lozano (section List of research outcomes)estimation of distribution algorithms 2015-10-28 Paper Comprehensive characterization of the behaviors of estimation of distribution algorithms 2015-09-16...10 bytes (18 words) - 11:50, 9 December 2023
- Grigore Roşu (section List of research outcomes)Effective Algorithm for the Membership Problem for Extended Regular Expressions 2007-09-07 Paper Allen Linear (Interval) Temporal Logic – Translation to LTL...10 bytes (17 words) - 01:42, 9 December 2023
- Zhenhua Duan (section List of research outcomes)Logic, B $\ddot{u}$ chi Automata and ω-Regular Expressions 2008-05-27 Paper Symbolic Algorithm Analysis of Rectangular Hybrid Systems 2008-05-27 Paper A...10 bytes (16 words) - 16:37, 6 October 2023
- Frank Drewes (section List of research outcomes)mardi4nfdi.de/entity/Q4782112 2002-11-27 Paper Decidability of the finiteness of ranges of tree transductions 2002-11-24 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 18:21, 9 December 2023