scientific article; zbMATH DE number 3866562
From MaRDI portal
Publication:3334056
Recommendations
Cited in
(23)- On observational equivalence and algebraic specification
- Quasi-varieties in abstract algebraic institutions
- Semantics of order-sorted specifications
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- An algebraic semantics of higher-order types with subtypes
- Another look at parameterization for oder-sorted algebraic specifications
- Order-sorted algebraic specifications with higher-order functions
- Homomorphism preserving algebraic specifications require hidden sorts
- Shallow confluence of conditional term rewriting systems
- scientific article; zbMATH DE number 1678372 (Why is no real title available?)
- A Framework for Order-Sorted Algebra
- scientific article; zbMATH DE number 5863292 (Why is no real title available?)
- Order-Sorted Parameterization and Induction
- scientific article; zbMATH DE number 4206001 (Why is no real title available?)
- scientific article; zbMATH DE number 3936499 (Why is no real title available?)
- scientific article; zbMATH DE number 3949706 (Why is no real title available?)
- scientific article; zbMATH DE number 1113861 (Why is no real title available?)
- scientific article; zbMATH DE number 3995034 (Why is no real title available?)
- scientific article; zbMATH DE number 2085285 (Why is no real title available?)
- Higher-order order-sorted algebras
- Order-sorted algebraic specifications with higher-order functions
- Recent Trends in Algebraic Development Techniques
- Equational completion in order-sorted algebras
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3334056)
