BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Salzer:Gernot

Contributed to:

MoDELS 20112011
IJCAR 20042004
RTA 20042004
CADE 19961996
CADE 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.