Вы здесь

Flener P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects 1994 Flener P., Popelinsky L. Lecture Notes in Computer Science 12.01.1995
СТ On the Desirable Link Between Theory and Practice in Abstract Interpretation 1997 Le Charlier B., Flener P. Lecture Notes in Computer Science 20.09.1997
СТ On Correct Program Schemas 1998 Flener P., Lau K. -K., Ornaghi M. Lecture Notes in Computer Science 14.10.1998
СТ Generalized Logic Program Transformation Schemas 1998 Buyukyildiz H., Flener P. Lecture Notes in Computer Science 14.10.1998
СТ Compiling High-Level Type Constructors in Constraint Programming 2001 Flener P., Hnich B., Kiziltan Z. Lecture Notes in Computer Science 05.04.2001
СТ Achievements and Prospects of Program Synthesis 2002 Flener P. Lecture Notes in Computer Science 29.08.2002
СТ Introducing ESRA, a Relational Language for Modelling Combinatorial Problems 2004 Flener P., Pearson J., Agren M. Lecture Notes in Computer Science Lecture Notes in Computer Science 03.09.2004
СТ Synthesis of Programs in Computational Logic 2004 Basin D., Deville Y., Flener P., Hamfelt A., Nilsson J. F. Lecture Notes in Computer Science Lecture Notes in Computer Science 31.07.2004

Редактор: