scientific article; zbMATH DE number 4092757
From MaRDI portal
Publication:3819992
Recommendations
Cited in
(21)- On subsumption and semiunification in feature algebras
- Extending the type checker of Standard ML by polymorphic recursion
- Semi-unification of two terms in Abelian groups
- Relaxed unification -- proposal
- Upper bounds on height of terms in a solution of a semiunification problem
- Fast algorithms for uniform semi-unification
- Unification modulo nonnested recursion schemes via anchored semi-unification
- scientific article; zbMATH DE number 440473 (Why is no real title available?)
- scientific article; zbMATH DE number 4180772 (Why is no real title available?)
- Une charpente de semi-unification
- scientific article; zbMATH DE number 88941 (Why is no real title available?)
- scientific article; zbMATH DE number 176152 (Why is no real title available?)
- scientific article; zbMATH DE number 176162 (Why is no real title available?)
- scientific article; zbMATH DE number 2079021 (Why is no real title available?)
- scientific article; zbMATH DE number 10159 (Why is no real title available?)
- Termination of rule-based calculi for uniform semi-unification
- It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair
- Constructive many-one reduction from the halting problem to semi-unification
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
- Wanda -- a higher-order termination tool (system description)
- Semi-unification
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 Q3819992)
