dblp.uni-trier.dewww.uni-trier.de

Gernot Salzer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
25EEStefan Craß, eva Kühn, Gernot Salzer: Algebraic foundation of a data model for an extensible space-based collaboration protocol. IDEAS 2009: 301-306
24EEIngo Feinerer, Gernot Salzer: A comparison of tools for teaching formal software verification. Formal Asp. Comput. 21(3): 293-301 (2009)
2008
23EEVictor Chepoi, Nadia Creignou, Miki Hermann, Gernot Salzer: Deciding the Satisfiability of Propositional Formulas in Finitely-Valued Signed Logics. ISMVL 2008: 100-105
22EEÀngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini: Efficient Algorithms for Description Problems over Finite Totally Ordered Domains. SIAM J. Comput. 38(3): 922-945 (2008)
21EENadia Creignou, Miki Hermann, Andrei A. Krokhin, Gernot Salzer: Complexity of Clausal Constraints Over Chains. Theory Comput. Syst. 42(2): 239-255 (2008)
2007
20EEIngo Feinerer, Gernot Salzer: Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints. TASE 2007: 411-420
2006
19EESébastien Limet, Gernot Salzer: Tree Tuple Languages from the Logic Programming Point of View. J. Autom. Reasoning 37(4): 323-349 (2006)
18 Sébastien Limet, Gernot Salzer: Basic Rewriting via Logic Programming, with an Application to the Reachability Problem. Journal of Automata, Languages and Combinatorics 11(1): 107-142 (2006)
2005
17EERobert A. Barta, Gernot Salzer: The tau Model, Formalizing Topic Maps. APCCM 2005: 37-42
2004
16EEÀngel J. Gil, Miki Hermann, Gernot Salzer, Bruno Zanuttini: Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract. IJCAR 2004: 244-258
15EESébastien Limet, Gernot Salzer: Proving Properties of Term Rewrite Systems via Logic Programs. RTA 2004: 170-184
2003
14EESébastien Limet, Gernot Salzer: Manipulating Tree Tuple Languages by Transforming Logic Programs. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
2001
13 Matthias Baaz, Christian G. Fermüller, Gernot Salzer: Automated Deduction for Many-Valued Logics. Handbook of Automated Reasoning 2001: 1355-1402
2000
12 Ricardo Caferra, Gernot Salzer: Automated Deduction in Classical and Non-Classical Logics, Selected Papers Springer 2000
11 Gernot Salzer: Optimal Axiomatizations of Finitely Valued Logics. Inf. Comput. 162(1-2): 185-205 (2000)
1998
10EEMiki Hermann, Gernot Salzer: On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations. MFCS 1998: 257-266
9 Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: Labeled Calculi and Finite-Valued Logics. Studia Logica 61(1): 7-33 (1998)
1996
8EEMatthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: MUltlog 1.0: Towards an Expert System for Many-Valued Logics. CADE 1996: 226-230
7EEGernot Salzer: Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices. CADE 1996: 688-702
6EEGeorg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian: A Non-Ground Realization of the Stable and Well-Founded Semantics. Theor. Comput. Sci. 166(1&2): 221-262 (1996)
1994
5EEGernot Salzer: Primal Grammars and Unification Modulo a Binary Clause. CADE 1994: 282-295
4EEMatthias Baaz, Gernot Salzer: Semi-Unification and Generalizations of a Particularly Simple Form. CSL 1994: 106-120
1993
3EEChristian G. Fermüller, Gernot Salzer: Ordered Paramodulation and Resolution as Decision Procedure. LPAR 1993: 122-133
1992
2EEGernot Salzer: The Unification of Infinite Sets of Terms and Its Applications. LPAR 1992: 409-420
1991
1 Gernot Salzer: Deductive Generalization and Meta-Reasoning or How to Formalize Genesis. ÖGAI 1991: 103-115

Coauthor Index

1Matthias Baaz [4] [8] [9] [13]
2Robert A. Barta [17]
3Ricardo Caferra [12]
4Victor Chepoi [23]
5Stefan Craß [25]
6Nadia Creignou [21] [23]
7Ingo Feinerer [20] [24]
8Christian G. Fermüller [3] [8] [9] [13]
9Àngel J. Gil [16] [22]
10Georg Gottlob [6]
11Miki Hermann [10] [16] [21] [22] [23]
12Andrei A. Krokhin [21]
13eva Kühn [25]
14Sébastien Limet [14] [15] [18] [19]
15Sherry Marcus [6]
16Anil Nerode [6]
17V. S. Subrahmanian [6]
18Richard Zach [8] [9]
19Bruno Zanuttini [16] [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)