Partial arithmetical data types of rational numbers and their equational specification
From MaRDI portal
Publication:2168794
DOI10.1016/j.jlamp.2022.100797OpenAlexW4289261119WikidataQ114159191 ScholiaQ114159191MaRDI QIDQ2168794
Publication date: 26 August 2022
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100797
Cites Work
- Fracpairs and fractions over a reduced commutative ring
- Transformation of fractions into simple fractions in divisive meadows
- Inversive meadows and divisive meadows
- Meadows and the equational specification of division
- Partial abstract types
- Equational theories and universal theories of fields
- A typed logic of partial functions reconstructed classically
- CASL reference manual. The complete documentation of the common algebraic specification language.
- The wheel of rational numbers as an abstract data type
- Module algebra
- Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
- The rational numbers as an abstract data type
- The completeness of the algebraic specification methods for computable data types
- A system of logic for partial functions under existence-dependent kleene equality
- An Oxford survey of order sorted algebra
- Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
- Wheels on division by zero
- Subvarieties of the Variety of Meadows
- A propositional logic with 4 values: true, false, divergent and meaningless
- Most General Algebraic Specifications for an Abstract Datatype of Rational Numbers
- Division by Zero in Common Meadows
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Partial arithmetical data types of rational numbers and their equational specification