@InProceedings{Erk:2000,
AUTHOR = {Erk, Katrin},
TITLE = {Die Verarbeitung von Parallelismus-Constraints},
YEAR = {2000},
BOOKTITLE = {Informatik 2000 - 30. Jahrestagung der Gesellschaft für Informatik, 19.-22. September},
EDITOR = {Mehlhorn, Kurt and Snelting, G.},
SERIES = {Informatik Aktuell},
ADDRESS = {Berlin, Germany},
PUBLISHER = {Springer},
URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/GI00.ps.gz},
ABSTRACT = {Parallelismus-Constraints sind partielle Beschreibungen von Bäumen. Wir verwenden sie als Repräsentationsformalismus in der unterspezifizierten natürlichsprachlichen Semantik. Parallelismus-Constraints sind gleichmächtig wie Kontext-Unifikation, deren Entscheidbarkeit ein bekanntes offenes Problem ist. Dieser Text beschreibt ein Semi-Entscheidungs-Verfahren für Parallelismus-Constraints und eine erste Implementierung. Anders als alle bekannten Verfahren für Kontext-Unifikation terminiert diese Prozedur für Dominanz-Constraints, eine für die linguistische Anwendung wichtige Teilklasse.},
ANNOTE = {COLIURL : Erk:2000:VPC.pdf Erk:2000:VPC.ps}
}
|
