The SCEAS System
| |||||||

## Search the dblp DataBase
Gernot Salzer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Robert A. Barta, Gernot Salzer
**The tau Model, Formalizing Topic Maps.**[Citation Graph (0, 0)][DBLP] APCCM, 2005, pp:37-42 [Conf] - 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] - À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] - Gernot Salzer
**Primal Grammars and Unification Modulo a Binary Clause.**[Citation Graph (0, 0)][DBLP] CADE, 1994, pp:282-295 [Conf] - 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] - Matthias Baaz, Gernot Salzer
**Semi-Unification and Generalizations of a Particularly Simple Form.**[Citation Graph (0, 0)][DBLP] CSL, 1994, pp:106-120 [Conf] - Christian G. Fermüller, Gernot Salzer
**Ordered Paramodulation and Resolution as Decision Procedure.**[Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:122-133 [Conf] - Gernot Salzer
**The Unification of Infinite Sets of Terms and Its Applications.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:409-420 [Conf] - 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] - Gernot Salzer
**Deductive Generalization and Meta-Reasoning or How to Formalize Genesis.**[Citation Graph (0, 0)][DBLP] ÖGAI, 1991, pp:103-115 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] **Algebraic foundation of a data model for an extensible space-based collaboration protocol.**[Citation Graph (, )][DBLP]**Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics.**[Citation Graph (, )][DBLP]**The Helly property and satisfiability of Boolean formulas defined on set families.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |