DFKI Research Reports 1997

[Back]

 E RR-97-08
Complement Extraction Lexical Rules and Argument Attraction
 E RR-97-07
Yet Another Paper about Partial Verb Phrase Fronting in German
 E RR-97-06
Scrambling in German -- Extraction into the Mittelfeld
 E RR-97-05
Finding Regions of Local Repair in Hierarchical Constraint Satisfaction
 E RR-97-04
Parameterized Abstractions used for Proof-Planning
 E RR-97-03
Using Rippling to Prove the Termination of Algorithms
 E RR-97-02
Natural Language Dialogue Service for Appointment Scheduling Agents
 E RR-97-01
Analogy in Verification of State-Based Specifications: First Results

This Document was last updated at 11:08 on Thursday, July 21, 2005.

Back to the DFKI Publications Page, First Year(90), Previous Year(96), Last Year(04)

DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.