The following pages link to (Q3896478):
Displayed 15 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Equational abstractions (Q944377) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- Conditional rewrite rules: Confluence and termination (Q1111368) (← links)
- Algebras with finitely approximable positively representable enrichments (Q1119572) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
- Enumerated algebras with uniformly recursive-separable classes (Q1335938) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- The data type variety of stack algebras (Q1891249) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Positive algebras with countable congruence lattices (Q2366357) (← links)
- Soundness in verification of algebraic specifications with OBJ (Q2469155) (← links)
- (Q4222859) (← links)
- (Q4222979) (← links)