Yulia Korukhova

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 Yulia Korukhova: An approach to automatic deductive synthesis of functional programs. Ann. Math. Artif. Intell. 50(3-4): 255-271 (2007)

2006

1 Yulia Korukhova: Automatic Deductive Synthesis of Lisp Programs in the System ALISA. JELIA 2006: 242-252

	2007
2		Yulia Korukhova: An approach to automatic deductive synthesis of functional programs. Ann. Math. Artif. Intell. 50(3-4): 255-271 (2007)
	2006
1		Yulia Korukhova: Automatic Deductive Synthesis of Lisp Programs in the System ALISA. JELIA 2006: 242-252