Search results
From MaRDI portal
- accessibility problems (extended abstract) 2014-09-26 Paper TCC, with History 2014-06-02 Paper FSTTCS 2005: Foundations of Software Technology and Theoretical Computer...10 bytes (17 words) - 02:45, 11 December 2023
- (extended abstract) 2018-07-04 Paper On the discriminating power of passivation and higher-order interaction 2018-04-23 Paper A fully abstract semantics...10 bytes (17 words) - 11:44, 11 December 2023
- in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak Admissibility 2022-08-02 Paper Advanced algorithms for abstract dialectical...10 bytes (16 words) - 12:24, 7 October 2023
- cation:5376337 On the Density of Languages Accepted by Turing Machines and Other Machine Models] 2018-09-17 Paper Parallel recognition and parsing on the...10 bytes (19 words) - 19:26, 9 December 2023
- Congruence Result for the π-Calculus 2007-09-07 Paper An efficient abstract machine for safe ambients 2007-05-23 Paper CONCUR 2004 - Concurrency Theory...10 bytes (16 words) - 14:17, 24 September 2023
- Paper FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 2009-08-06 Paper Abstract interpretation and types for systems biology...10 bytes (16 words) - 16:15, 6 October 2023
- de/entity/Q6143909 2024-01-25 Paper Optimal ordering policy and preservation technology for deteriorating items with maximum lifetime under a resilient hybrid...10 bytes (18 words) - 14:34, 7 December 2023
- Paper Algebraic Methodology and Software Technology 2005-08-25 Paper Algebraic Methodology and Software Technology 2005-08-25 Paper Formal methods for smart...10 bytes (17 words) - 15:28, 9 December 2023
- tree transducers 2020-05-06 Paper Compositions of Tree-to-Tree Statistical Machine Translation Models 2018-09-20 Paper Multiple context-free tree grammars:...10 bytes (16 words) - 11:16, 7 October 2023
- Transducers 2014-10-14 Paper Tree transducers, L systems and two-way machines (Extended Abstract) 2014-03-14 Paper Determinacy and Rewriting of Top-Down and MSO...10 bytes (16 words) - 03:23, 9 December 2023
- Paper Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems withIDP3 2017-11-09 Paper On local domain...10 bytes (17 words) - 00:41, 25 September 2023
- Paper Algebraic Methodology and Software Technology 2005-08-25 Paper Algebraic Methodology and Software Technology 2005-08-25 Paper A Verification Logic for...10 bytes (17 words) - 11:55, 11 December 2023
- equations 2022-08-18 Paper Free shuffle algebras in language varieties extended abstract 2022-08-16 Paper https://portal.mardi4nfdi.de/entity/Q5416162 2014-05-19...10 bytes (18 words) - 13:45, 8 December 2023
- Paper Algebraic Methodology and Software Technology 2005-08-25 Paper Algebraic Methodology and Software Technology 2005-08-25 Paper https://portal.mardi4nfdi...10 bytes (22 words) - 10:04, 6 October 2023
- 2003: Foundations of Software Technology and Theoretical Computer Science 2009-08-06 Paper Scheduling on unrelated machines under tree-like precedence constraints...10 bytes (17 words) - 05:41, 9 December 2023
- Analysis of Systems 2005-11-10 Paper Algebraic Methodology and Software Technology 2005-08-25 Paper https://portal.mardi4nfdi.de/entity/Q4808841 2004-08-12...10 bytes (16 words) - 16:33, 6 October 2023
- Paper A linear-time heuristic for minimum rectangular coverings (Extended abstract) 2022-12-09 Paper Sorting shuffled monotone sequences 2022-12-09 Paper...10 bytes (16 words) - 15:52, 9 December 2023
- observational logic 2006-04-28 Paper Algebraic Methodology and Software Technology 2005-08-25 Paper https://portal.mardi4nfdi.de/entity/Q4738215 2004-08-11...10 bytes (16 words) - 00:41, 25 September 2023
- scheduling on a bounded number of machines (extended abstract) 2017-09-22 Paper On scheduling coflows (extended abstract) 2017-08-31 Paper https://portal...10 bytes (16 words) - 01:34, 9 December 2023
- MTL Specifications 2007-09-04 Paper FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 2006-11-14 Paper Formal Modeling and...10 bytes (17 words) - 03:56, 25 September 2023