Su, Zhendong
[Verfasser:in];
Aiken, Alexander
[Verfasser:in];
Niehren, Joachim
[Verfasser:in];
Priesnitz, Tim
[Verfasser:in];
Treinen, Ralf
[Verfasser:in]
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Elektronischer Konferenzbericht
Titel:
First-order theory of subtyping constraints
Beteiligte:
Su, Zhendong
[Verfasser:in];
Aiken, Alexander
[Verfasser:in];
Niehren, Joachim
[Verfasser:in];
Priesnitz, Tim
[Verfasser:in];
Treinen, Ralf
[Verfasser:in]
Erschienen:
Scientific publications of the Saarland University (UdS), 2002
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
We investigate the first-order theory of subtyping constraints. We show that the first-order theory of non-structural subtyping is undecidable, and we show that in the case where all constructors are either unary or nullary, the first-order theory is decidable for both structural and non-structural subtyping. The decidability results are shown by reduction to a decision problem on tree automata. This work is a step towards resolving long-standing open problems of the decidability of entailment for non-structural subtyping.