Search the dblp DataBase

Publications of Author

1. Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian
   A Non-Ground Realization of the Stable and Well-Founded Semantics. [Citation Graph (3, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:166, n:1&2, pp:221-262 [Journal]
   
2. Robert A. Barta, Gernot Salzer
   The tau Model, Formalizing Topic Maps. [Citation Graph (0, 0)][DBLP]
   APCCM, 2005, pp:37-42 [Conf]
   
3. Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
   MUltlog 1.0: Towards an Expert System for Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
   CADE, 1996, pp:226-230 [Conf]
   
4. Àngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini
   Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:244-258 [Conf]
   
5. Gernot Salzer
   Primal Grammars and Unification Modulo a Binary Clause. [Citation Graph (0, 0)][DBLP]
   CADE, 1994, pp:282-295 [Conf]
   
6. Gernot Salzer
   Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices. [Citation Graph (0, 0)][DBLP]
   CADE, 1996, pp:688-702 [Conf]
   
7. Matthias Baaz, Gernot Salzer
   Semi-Unification and Generalizations of a Particularly Simple Form. [Citation Graph (0, 0)][DBLP]
   CSL, 1994, pp:106-120 [Conf]
   
8. Christian G. Fermüller, Gernot Salzer
   Ordered Paramodulation and Resolution as Decision Procedure. [Citation Graph (0, 0)][DBLP]
   LPAR, 1993, pp:122-133 [Conf]
   
9. Gernot Salzer
   The Unification of Infinite Sets of Terms and Its Applications. [Citation Graph (0, 0)][DBLP]
   LPAR, 1992, pp:409-420 [Conf]
   
10. Miki Hermann, Gernot Salzer
    On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:257-266 [Conf]
    
11. Gernot Salzer
    Deductive Generalization and Meta-Reasoning or How to Formalize Genesis. [Citation Graph (0, 0)][DBLP]
    ÖGAI, 1991, pp:103-115 [Conf]
    
12. Sébastien Limet, Gernot Salzer
    Proving Properties of Term Rewrite Systems via Logic Programs. [Citation Graph (0, 0)][DBLP]
    RTA, 2004, pp:170-184 [Conf]
    
13. Sébastien Limet, Gernot Salzer
    Manipulating Tree Tuple Languages by Transforming Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
    
14. Gernot Salzer
    Optimal Axiomatizations of Finitely Valued Logics. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:162, n:1-2, pp:185-205 [Journal]
    
15. Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
    Labeled Calculi and Finite-Valued Logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:61, n:1, pp:7-33 [Journal]
    
16. Ingo Feinerer, Gernot Salzer
    Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:411-420 [Conf]
    
17. Sébastien Limet, Gernot Salzer
    Tree Tuple Languages from the Logic Programming Point of View. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:37, n:4, pp:323-349 [Journal]
    
18. 
    Algebraic foundation of a data model for an extensible space-based collaboration protocol. [Citation Graph (, )][DBLP]
    
    
19. 
    Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics. [Citation Graph (, )][DBLP]
    
    
20. 
    The Helly property and satisfiability of Boolean formulas defined on set families. [Citation Graph (, )][DBLP]