Pages that link to "Item:Q1098613"

The following pages link to Algebraic specifications of computable and semicomputable data types (Q1098613):

Displaying 28 items.

• Inversive meadows and divisive meadows (Q420833) (← links)
• The meaning of specifications I: Domains and initial models (Q673181) (← links)
• Meadows and the equational specification of division (Q1006649) (← links)
• Division safe calculation in totalised fields (Q1015383) (← links)
• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms (Q1036533) (← links)
• Simplifying conditional term rewriting systems: Unification, termination and confluence (Q1100891) (← links)
• On a conjecture of Bergstra and Tucker (Q1124321) (← links)
• Algebraic specifiability of data types with minimal computable parameters (Q1183572) (← links)
• Final algebras, cosemicomputable algebras and degrees of unsolvability (Q1199822) (← links)
• Term-rewriting systems with rule priorities (Q1262749) (← links)
• Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
• On sequential composition, action prefixes and process prefix (Q1333405) (← links)
• A recursive second order initial algebra specification of primitive recursion (Q1338890) (← links)
• A completeness theorem for the expressive power of higher-order algebraic specifications (Q1362341) (← links)
• Randnomness, computability, and algebraic specifications (Q1382180) (← links)
• Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
• Computability theory. Abstracts from the workshop held January 7--13, 2018 (Q1731969) (← links)
• Computable total functions on metric algebras, universal algebraic specifications and dynamical systems (Q1764798) (← links)
• On algebraic and logical specifications of classes of regular languages. (Q1874275) (← links)
• The data type variety of stack algebras (Q1891249) (← links)
• Finitely presented expansions of computably enumerable semigroups (Q1936272) (← links)
• The data type of spatial objects (Q1941895) (← links)
• Specifying with syntactic theory functors (Q2173439) (← links)
• The wheel of rational numbers as an abstract data type (Q2237335) (← links)
• Piecewise initial algebra semantics (Q2461761) (← links)
• Degrees of Word Problem for Algebras Without Finitely Presented Expansions (Q2988856) (← links)
• On algebraic specifications of computable algebras with the discriminator technique (Q3358246) (← links)
• A step towards absolute versions of metamathematical results (Q6150669) (← links)