Search results
From MaRDI portal
- systems 1995-06-08 Paper Constructor equivalent term rewriting systems are strongly sequential: A direct proof 1994-11-20 Paper Constructor equivalent term rewriting...10 bytes (17 words) - 21:44, 9 December 2023
- Publication Type Verified cryptographic code for everybody 2022-03-25 Paper A Constructor-Based Reachability Logic for Rewrite Theories 2020-11-16 Paper https://portal...10 bytes (16 words) - 20:30, 12 December 2023
- disjoint and constructor-sharing conditional rewrite systems 1997-02-27 Paper https://portal.mardi4nfdi.de/entity/Q4846997 1996-06-10 Paper A constructor-based...10 bytes (17 words) - 03:23, 9 December 2023
- Efficient simulation of forward-branching systems with constructor systems 1997-04-24 Paper Constructor equivalent term rewriting systems are strongly sequential:...10 bytes (16 words) - 09:21, 7 October 2023
- (Optimal) duplication is not elementary recursive 2015-03-17 Paper On Constructor Rewrite Systems and the Lambda Calculus 2012-08-15 Paper Derivational...10 bytes (17 words) - 11:23, 12 December 2023
- images of finite morphisms on ICIS 2012-04-13 Paper Intervals as Domain Constructor 2011-04-04 Paper Generalizing the Real Interval Arithmetic 2011-04-04...10 bytes (18 words) - 13:17, 11 December 2023
- Function Specifications 2016-04-04 Paper Rewriting and narrowing for constructor systems with call-time choice semantics 2014-04-17 Paper Safe typing of...10 bytes (20 words) - 03:05, 13 December 2023
- Function Specifications 2016-04-04 Paper Rewriting and narrowing for constructor systems with call-time choice semantics 2014-04-17 Paper Singular and...10 bytes (18 words) - 13:47, 7 October 2023
- Publication Date of Publication Type A Constructor-Based Reachability Logic for Rewrite Theories 2020-11-16 Paper A constructor-based reachability logic for rewrite...10 bytes (16 words) - 17:59, 24 September 2023
- non-classicality in hybrid systems 2023-02-16 Paper Constructor theory of information 2017-09-29 Paper Constructor theory of probability 2017-09-29 Paper Quantum...10 bytes (16 words) - 06:30, 7 October 2023
- Paper Theoretical Aspects of Computing – ICTAC 2005 2006-11-01 Paper Constructor-based observational logic 2006-04-28 Paper Algebraic Methodology and Software...10 bytes (16 words) - 17:22, 12 December 2023
- Publication Type https://portal.mardi4nfdi.de/entity/Q5890170 2023-04-28 Paper Constructor theory of information 2017-09-29 Paper https://portal.mardi4nfdi.de/entity/Q5281586...10 bytes (17 words) - 07:36, 7 October 2023
- Publication Date of Publication Type Feature generation using general constructor functions 2002-07-08 Paper...10 bytes (16 words) - 17:39, 24 September 2023
- Publication Date of Publication Type The Size-Change Termination Principle for Constructor Based Languages 2014-03-24 Paper...10 bytes (16 words) - 22:02, 27 December 2023
- Publication Date of Publication Type Constructor-Based Inductive Theorem Prover 2013-09-13 Paper...10 bytes (16 words) - 12:55, 7 October 2023
- Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems 2014-01-24 Paper...10 bytes (16 words) - 06:54, 7 October 2023
- Date of Publication Type Tom Thumb Algorithm and von Neumann Universal Constructor 2005-08-17 Paper...10 bytes (16 words) - 22:13, 26 December 2023
- Verification Condition Generation 2016-02-05 Paper Rewriting and narrowing for constructor systems with call-time choice semantics 2014-04-17 Paper An extended constraint...10 bytes (19 words) - 23:04, 24 September 2023
- structure as an artificial multicellular organism 2015-03-18 Paper Program constructor of cellular self-reproducing structures 2009-11-24 Paper https://portal...10 bytes (18 words) - 23:45, 10 December 2023
- OTS/CafeOBJ Method 2014-03-25 Paper A Proof System in PADS 2013-10-04 Paper Constructor-Based Inductive Theorem Prover 2013-09-13 Paper Two-thirds simulation...10 bytes (17 words) - 12:51, 11 December 2023
