%
% GENERATED FROM https://www.coli.uni-saarland.de
%    by   : anonymous
%    IP   : coli2006.lst.uni-saarland.de
%    at   : Mon, 05 Feb 2024 15:43:14 +0100 GMT
%    
% Selection : Reference #509
%




@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}
}