The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gernot Salzer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002