Publikationen

In: Unification. Seiten 69-119 Academic Press 1990.

In: Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10) 10th July 24-27 Kaiserslautern Germany Seiten 178-192 Lecture Notes in Artificial Intelligence (LNAI) 449 Springer Berlin - Heidelberg 1990.

Zur Publikation

In: Computational Logic. Symposium on Computational Logic 7th ESPRIT Conference November 13-14 Brussels Belgium Seiten 177-201 ESPRIT Basic Research Series 1 Springer 11/1990.

Zur Publikation

DFKI DFKI Documents (D) 90-05 12/1990.

Zur Publikation

DFKI DFKI Documents (D) 90-04 9/1990.

Zur Publikation

DFKI DFKI Documents (D) 90-03 9/1990.

Zur Publikation

In: Formalismes syntaxiques pour le traitement automatique du langage naturel. Seiten 183-205 Hermes Paris 1990.

Zur Publikation

In: Proceedings of the 14th International Congress of Linguists. International Congress of Linguists 14th August 10-15 Berlin Germany Akademie Verlag Berlin 1990.

Zur Publikation

In: Grammaires d'Unification. ATALA Paris 1990.

Zur Publikation

In: Lexikon der Sprachwissenschaft. Kröner Stuttgart 1990.

Zur Publikation

Publikationen

Aktive Filter:

On Equational Theories, Unification, and (Un)decidability

A Resolution Principle for Clauses with Constraints

Concept Logics

Formalismus zur Repräsentation von Geometrie- und Technologieinformationen als Teil eines Wissensbasierten Produktmodells

STEP: Überblick über eine zukünftige Schnittstelle zum Produktdatenaustausch

Abschlußbericht des Arbeitspaketes PROD

La grammaire d'unification catégorielle

Extraposition and Adjunct Attachment in Categorial Unification Grammar

Des faisceaux de traits aux types de données abstraits: nouvelles orientations des représentations et traitements linguistiques

16 Einträge für den Bereich der Unifikationsgrammatiken

Jahr

Folgen Sie uns auf:

Herausgeber

Newsletter

Standorte