Pages that link to "Item:Q1207950"
From MaRDI portal
The following pages link to The undecidability of the semi-unification problem (Q1207950):
Displaying 30 items.
- The role of polymorphism in the characterisation of complexity by soft types (Q276263) (← links)
- The undecidability of simultaneous rigid E-unification (Q671659) (← links)
- The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types (Q690505) (← links)
- The undecidability of the unification and matching problem for canonical theories (Q1077931) (← links)
- A note on a canonical theory with undecidable unification and matching problem (Q1098623) (← links)
- The unification hierarchy is undecidable (Q1181721) (← links)
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- An undecidable fragment of the theory of set constraints (Q1274577) (← links)
- Some undecidability results concerning the property of preserving regularity (Q1274984) (← links)
- Extending the type checker of Standard ML by polymorphic recursion (Q1275627) (← links)
- Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)
- Type inference with partial types (Q1318726) (← links)
- Semi-unification of two terms in Abelian groups (Q1336738) (← links)
- Iteration and coiteration schemes for higher-order and nested datatypes (Q1770412) (← links)
- Undecidability and intuitionistic incompleteness (Q1815411) (← links)
- Thue trees (Q1861534) (← links)
- Contribution of Warsaw logicians to computational logic (Q2422533) (← links)
- On the (un)decidability of a near-unanimity term (Q2474099) (← links)
- Fast algorithms for uniform semi-unification (Q2643520) (← links)
- On complexity of the anti-unification problem (Q3184519) (← links)
- Kalmár and Péter: Undecidability as a Consequence of Incompleteness (Q3195713) (← links)
- The undecidability of the D<sub>A</sub>-unification problem (Q3478395) (← links)
- Existential Type Systems with No Types in Terms (Q3637189) (← links)
- The undecidability of entailment and relevant implication (Q3703869) (← links)
- Undecidable hypotheses in Edward Nelson's internal set theory (Q4005527) (← links)
- (Q4285797) (← links)
- (Q4428885) (← links)
- UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES (Q5177872) (← links)
- THE UNDECIDABILITY OF THE DEFINABILITY OF PRINCIPAL SUBCONGRUENCES (Q5501763) (← links)
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845) (← links)
