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: Bibel:Wolfgang
Facilitated 1 volumes:
EdContributed to:
19971994199219901982Wrote 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.
- CADE-1994-BibelBER
- 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.