Search results
From MaRDI portal
- Homomorphism preserving algebraic specifications require hidden sorts 1995-08-01 Paper The data type variety of stack algebras 1995-05-30 Paper Bisimulation...10 bytes (17 words) - 20:19, 8 December 2023
- Concepts in Abstract Data Type Specification, 30 Years Later 2008-06-19 Paper Observational interpretation of Casl specifications 2008-04-10 Paper Horizontal...10 bytes (15 words) - 10:52, 6 October 2023
- structured algebraic specifications: An overview 2022-12-09 Paper A general framework for modular implementations of modular system specifications 2022-11-02...10 bytes (13 words) - 23:41, 24 September 2023
- Paper The wheel of rational numbers as an abstract data type 2021-10-27 Paper An algebraic theory for data linkage 2020-06-08 Paper A Hierarchy for $$ BPP...10 bytes (15 words) - 23:41, 24 September 2023
- Foundations of algebraic specification and formal software development. 2010-12-08 Paper Observability Concepts in Abstract Data Type Specification, 30 Years...10 bytes (14 words) - 12:06, 12 December 2023
- Crypt-equivalent algebraic specifications 1988-01-01 Paper On the algebraic definition of programming languages 1987-01-01 Paper Structured algebraic specifications:...10 bytes (15 words) - 17:05, 9 December 2023
- 1997-02-27 Paper Behavioural and abstractor specifications 1997-01-02 Paper Behavioural approaches to algebraic specifications. A comparative study 1994-12-18 Paper...10 bytes (13 words) - 16:22, 12 December 2023
- Temporal Reasoning over Deontic Specifications 1991-01-01 Paper Abstract Data Types and Type Theory: Theories as Types 1991-01-01 Paper Proof theory and...10 bytes (17 words) - 14:15, 12 December 2023
- Paper Satisfiability of Constraint Specifications on XML Documents 2015-09-14 Paper Abstract Constraint Data Types 2015-06-22 Paper Tableau-Based Reasoning...10 bytes (14 words) - 10:55, 11 December 2023
- theory to the area of algebraic specification in computer science 1998-07-16 Paper Transition specifications for dynamic abstract data types 1998-03-02 Paper...10 bytes (15 words) - 00:40, 9 December 2023
- de/entity/Q3707382 1985-01-01 Paper Algebraic and operational semantics of specifications allowing exceptions and errors 1984-01-01 Paper Algebraic domain equations 1983-01-01...10 bytes (17 words) - 19:43, 12 December 2023
- Publication Date of Publication Type Zonotope-based symbolic controller synthesis for linear temporal logic specifications 2025-01-21 Paper Parallelized...10 bytes (15 words) - 07:08, 7 October 2023
- Structures for abstract rewriting 2007-08-17 Paper Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms 2007-05-02 Paper Theoretical...10 bytes (13 words) - 13:26, 11 December 2023
- Enhancing the Debugging of Maude Specifications 2010-10-12 Paper Automated Deduction – CADE-19 2010-04-20 Paper Algebraic simulations 2010-02-05 Paper Declarative...10 bytes (17 words) - 23:46, 12 December 2023
- Combining data type and recursive process specifications using projection algebras 1990-01-01 Paper Compatibility problems in the development of algebraic module...10 bytes (15 words) - 23:22, 12 December 2023
- development of algebraic module specifications 1990-01-01 Paper Combining data type and recursive process specifications using projection algebras 1990-01-01...10 bytes (15 words) - 10:43, 8 December 2023
- in Algebraic Development Techniques 2010-04-20 Paper Recent Trends in Algebraic Development Techniques 2010-04-20 Paper Recent Trends in Algebraic Development...10 bytes (13 words) - 11:42, 7 October 2023
- The equational theory of parameterized specifications 1988-01-01 Paper Parameter-preserving data type specifications 1987-01-01 Paper https://portal.mardi4nfdi...10 bytes (13 words) - 21:04, 12 December 2023
- Non-atomic Refinement 2009-03-06 Paper Automating Algebraic Specifications of Non-freely Generated Data Types 2008-11-20 Paper https://portal.mardi4nfdi.de/entity/Q3539946...10 bytes (13 words) - 05:46, 7 October 2023
- systems 2024-09-25 Paper Order-sorted algebraic specifications with higher-order functions 2022-08-16 Paper Efficient data validation for geographical interlocking...10 bytes (15 words) - 05:35, 12 December 2023
