scientific article; zbMATH DE number 3911688
From MaRDI portal
Publication:3687693
Recommendations
Cited in
(17)- Constructing a theory of a data structure as an aid to program development
- Recent trends in data type specification. 5th workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987. Selected papers
- Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules
- Modification of the IOTA method for non-hierarchical types
- Proof by consistency
- scientific article; zbMATH DE number 3900135 (Why is no real title available?)
- scientific article; zbMATH DE number 3907753 (Why is no real title available?)
- Syntax-guided rewrite rule enumeration for SMT solvers
- A method of elimination of data structures based on formula rewriting systems
- Recent Trends in Data Type Specification
- History and basic features of the critical-pair/completion procedure
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
- scientific article; zbMATH DE number 4092742 (Why is no real title available?)
- Only prime superpositions need be considered in the Knuth-Bendix completion procedure
- scientific article; zbMATH DE number 3995036 (Why is no real title available?)
- scientific article; zbMATH DE number 3967897 (Why is no real title available?)
- scientific article; zbMATH DE number 88946 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3687693)
