|Title||On Unification Problems in Restricted Second-Order Languages|
|Publication Type||Conference Paper|
|Year of Publication||1998|
|Authors||Levy J, Veanes M|
|Conference Name||Annual Conference of the European Association for Computer Science Logic, CSL'98|
We review known results and improve knownboundaries between the decidable and the undecidable cases of second-order unification with various restrictions on second-order variables. As a key tool we prove an undecidability result that provides a partial solution to an open problem about simultaneous rigid E-unification.
- About IIIA
- Current news