Pages that link to "Item:Q1084849"
From MaRDI portal
The following pages link to Partial evaluation and \(\omega\)-completeness of algebraic specifications (Q1084849):
Displaying 11 items.
- A calculus for four-valued sequential logic (Q549178) (← links)
- Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness (Q582891) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- An investigation of Jones optimality and BTI-universal specializers (Q1029807) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- Algebra and theory of order-deterministic pomsets (Q1815430) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
- Une charpente de semi-unification (Q3789065) (← links)
