SYNTAX-DIRECTED, SEMANTICS-SUPPORTED PROGRAM SYNTHESISBIBEL W.1980; ARTIF. INTELL.; ISSN 0374-2539; NLD; DA. 1980; VOL. 14; NO 3; PP. 243-261; BIBL. 25 REF.Article

ON MATRICES WITH CONNECTIONSBIBEL W.1981; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1981; VOL. 28; NO 4; PP. 633-645; BIBL. 24 REF.Article

ON SYNTAX-DIRECTED, SEMANTICS-SUPPORTED PROGRAM SYNTHESISBIBEL W.1979; IJCAI 79. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE. 6/1979/TOKYO; USA; S.L. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE; DA. 1979; VOL. 1; PP. 59-62Conference Paper

Constraint satisfaction from a deductive viewpointBIBEL, W.Artificial intelligence. 1988, Vol 35, Num 3, pp 401-413, issn 0004-3702Article

A deductive solution for plan generationBIBEL, W.New generation computing. 1986, Vol 4, Num 2, pp 115-132, issn 0288-3635Article

5TH. CONFERENCE ON AUTOMATED DEDUCTION. LES ARCS, FRANCE, 1980BIBEL W ED; KOWALSKI R ED.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 87; VII-385 P.; BIBL. DISSEM.Conference Paper

Fundamentals of artificial intelligence: an advanced courseBIBEL, W; JORRAND, P.Lecture notes in computer science. 1986, Vol 232, issn 0302-9743, V-313 pArticle

Constructing specification morphismsSMITH, D. R.Journal of symbolic computation. 1993, Vol 15, Num 5-6, pp 571-606, issn 0747-7171Article

Logical debuggingDERSHOWITZ, N; YUH-JENG LEE.Journal of symbolic computation. 1993, Vol 15, Num 5-6, pp 745-773, issn 0747-7171Article

Synthesis aspects in the design of efficient processor arrays from affine recurrence equationsCLAUSS, P; MONGENET, C.Journal of symbolic computation. 1993, Vol 15, Num 5-6, pp 547-569, issn 0747-7171Article

Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretationBOULANGER, D; BRUYNOOGHE, M.Journal of symbolic computation. 1993, Vol 15, Num 5-6, pp 495-521, issn 0747-7171Article

Proceedings/International spring school on mathematical methods of specification and synthesis of software systems, Wendisch-Rietz, GDR, April 22-26, 1985BIBEL, W; JANTKE, K. P.Lecture notes in computer science. 1986, Vol 215, issn 0302-9743, 245 p.Conference Proceedings

Synthesis of real time acceptorsFAHMY, A. F; BIERMANN, A. W.Journal of symbolic computation. 1993, Vol 15, Num 5-6, pp 807-842, issn 0747-7171Article

Low overhead alternatives to SSSMARSLAND, T. A; REINEFELD, A; SCHAEFFER, J et al.Artificial intelligence. 1987, Vol 31, Num 2, pp 185-199, issn 0004-3702Article

A derived algorithm for evaluating ε-expressions over abstract setsOMODEO, E. G; PARLAMENTO, F; POLICRITI, A et al.Journal of symbolic computation. 1993, Vol 15, Num 5-6, pp 673-704, issn 0747-7171Article

A multi-level approach to program synthesisBIBEL, W; KORN, D; KREITZ, C et al.Lecture notes in computer science. 1998, pp 1-27, issn 0302-9743, isbn 3-540-65074-1Conference Paper