Travelled to:1 × France
1 × Germany
1 × Ireland
1 × New Zealand
1 × USA
Collaborated with:∅ S.Limet I.Feinerer T.Sisel À.J.Gil M.Hermann B.Zanuttini M.Baaz C.G.Fermüller R.Zach
Talks about:multipl (2) system (2) logic (2) valu (2) constraint (1) algorithm (1) quantifi (1) properti (1) descript (1) abstract (1)
Person: Gernot Salzer
DBLP: Salzer:Gernot
Contributed to:
2011
2004
2004
19961994Wrote 6 papers:
- MoDELS-2011-FeinererSS #diagrams #multi
- Reducing Multiplicities in Class Diagrams (IF, GS, TS), pp. 379–393.
- IJCAR-2004-GilHSZ #algorithm #constraints #finite #order #performance #problem
- Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract (ÀJG, MH, GS, BZ), pp. 244–258.
- RTA-2004-LimetS #logic programming #proving #source code #term rewriting
- Proving Properties of Term Rewrite Systems via Logic Programs (SL, GS), pp. 170–184.
- CADE-1996-BaazFSZ #logic #towards
- MUltlog 1.0: Towards an Expert System for Many-Valued Logics (MB, CGF, GS, RZ), pp. 226–230.
- CADE-1996-Salzer #axiom #multi #quantifier
- Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices (GS), pp. 688–702.
- CADE-1994-Salzer #unification
- Primal Grammars and Unification Modulo a Binary Clause (GS), pp. 282–295.