Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1998
Remove all filters
Displaying results 81 to 90 of 102.

  1. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …

  2. Georg Rock; Werner Stephan; Andreas Wolpers

    Assumption-Commitment Specifications and Safety-Critical Systems

    In: Hartmut König; Peter Langendörfer (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98), 8. June 4-5, …

  3. Andreas Wolpers; Werner Stephan

    Modular Verification of Programmable Logic Controllers with TLA

    In: Gérard Morel; Francois B. Vernadat (Hrsg.). INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information …

  4. Paul Buitelaar

    CoreLex: An Ontology of Systematic Polysemous Classes

    In: Proceedings of the 1st International Conference on Formal Ontology in Information Systems (FOIS'98), June 6-8. International Conference on Formal …

  5. Tania Avgustinova

    Review of: Cook, Walter A.: "Case Grammar Applied". A Publication of The Summer Institute of Linguistics and The University of Texas at Arlington. 1998

    1998.

  6. Tania Avgustinova

    On Word Order Types in Bulgarian

    In: Beiträge der Europäischen Slavistischen Linguistik (POLYSLAV 1). Pages 19-25, Die Welt der Slaven, 2. Sammelband, Vol. 1, Verlag Otto Sagner, …

  7. Tania Avgustinova; Bistra Andreeva

    Intonational Properties of Bulgarian Replicated Nominal Material. A Study Based on Map Task Dialogues

    In: Proceedings of the 1st Conference on Linguistic Theory in Eastern Europaen Languages. Conference on Linguistic Theory in Eastern European …

  8. Klaus Netter; Djoerd Hiemstra; Franciska de Jong (Hrsg.)

    Language Technology in Multimedia Information Retrieval. Proceedings of the 14th Twente Workshop on Language Technology (TWLT 14), December 7-8

    Twente Workshop on Language Technology (TWLT), University of Twente, Enschede, The Netherlands, 1998.

  9. Klaus Netter; Susan Armstrong; Tibor Kiss; Judith Klein; Sabine Lehmann; David Milward; Sylvie Regnier-Prost; Reinhard Schäler; Tillmann Wegst

    DiET - Diagnostic and Evaluation Tools for Natural Language Application

    In: Proceedings of the 1st International Conference on Language Resources and Evaluation. International Conference on Language Resources and …

  10. Klaus Netter

    POP-EYE and OLIVE - Human Language as the Medium for Cross-Lingual Multimedia Information Retrieval

    In: Proceedings of the 2nd International Conference on Quality and Standards in Audiovisual Language Transfer. Languages and the Media. International …

Year