Pages that link to "Item:Q1196302"
From MaRDI portal
The following pages link to Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302):
Displaying 50 items.
- Declarative event based models of concurrency and refinement in psi-calculi (Q272301) (← links)
- Fuzzy terms (Q277347) (← links)
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Order-sorted unification (Q582269) (← links)
- Partial derivatives of regular expressions and finite automaton constructions (Q672142) (← links)
- Rewriting extended regular expressions (Q673635) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Normal forms and normal theories in conditional rewriting (Q730473) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Generator induction in order sorted algebras (Q749219) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- Parametrization for order-sorted algebraic specification (Q909448) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- Another definition of order-sorted algebra (Q1273072) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Gordon's computer: A hardware verification case study in OBJ3 (Q1329091) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- Verifying a distributed list system: A case history (Q1355754) (← links)
- Unification in sort theories and its applications (Q1380412) (← links)
- Order-sorted algebraic specifications with higher-order functions (Q1391097) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- A hidden agenda (Q1575735) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas (Q1735326) (← links)
- Richer types for \(Z\) (Q1816920) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Capturing constrained constructor patterns in matching logic (Q2096417) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
