Searching for authors named "Gernot Salzer" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
On the Word, Subsumption, and Complement Problems for Recurrent Term Schematizations
- … LORIA (CNRS) BP 239 54506 Vanduvre-les-Nancy, France hermann@(email omitted); Gernot Salzer y Technische…
- Cited by 2 (0 self) – Add To MetaCart
-
The τ Model, Formalizing Topic Maps
- … is included. GernotSalzer † Technische Universität Wien Institut für Computersprachen Vienna, Austria endorsed…
- Cited by 1 (0 self) – Add To MetaCart
-
On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations
- … Abstract) Miki Hermann 1 and Gernot Salzer 2 1 LORIA (CNRS), BP 239, 54506 Vandoeuvre…
- Add To MetaCart
-
Testing for Renamability to Classes of Clause Sets (Extended Abstract)
- …. Fermuller Gernot Salzer y Technische Universitat Wien, Austria Abstract This paper investigates…
- Add To MetaCart
-
Labeled Calculi and Finite-valued Logics
- …Labeled Calculi and Finite-valued Logics Matthias Baaz 1;? Christian G. Fermuller 2;?? Gernot…
- Cited by 5 (2 self) – Add To MetaCart
-
Efficient algorithms for constraint description problems over finite totally ordered domains
- … ⋆ (Extended Abstract) Ángel J. Gil 1 , Miki Hermann 2 , Gernot Salzer 3 , and Bruno Zanuttini 4 1 Universitat…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 6.
