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 × Belgium
1 × France
2 × USA
Collaborated with:
K.M.Hörnig S.Hölldobler J.Würtz S.Brüning U.Egly T.Rath D.S.Korn C.Kreitz F.Kurucz J.Otten S.Schmitt G.Stolpmann
Talks about:
algorithm (1) tautolog (1) synthesi (1) perspect (1) approach (1) program (1) improv (1) deduct (1) multi (1) level (1)

Person: Wolfgang Bibel

DBLP DBLP: Bibel:Wolfgang

Facilitated 1 volumes:

CADE 1980Ed

Contributed to:

LOPSTR 19971997
CADE 19941994
CADE 19921992
CADE 19901990
CADE 19821982

Wrote 5 papers:

LOPSTR-1997-BibelKKKOSS #approach #multi #synthesis
A Multi-level Approach to Program Synthesis (WB, DSK, CK, FK, JO, SS, GS), pp. 1–27.
KoMeT (WB, SB, UE, TR), pp. 783–787.
CADE-1992-BibelHW #unification
Cycle Unification (WB, SH, JW), pp. 94–108.
CADE-1990-Bibel #automation #deduction
Perspectives on Automated Deduction (WB), p. 426.
CADE-1982-HornigB #algorithm
Improvements of a Tautology-Testing Algorithm (KMH, WB), pp. 326–341.

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.