Result 1 to 16 of 16 total
Declarative debugging of wrong and missing answers for SQL views. (English)
Schrijvers, Tom (ed.) et al., Functional and logic programming. 11th international symposium, FLOPS 2012, Kobe, Japan, May 23‒25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29821-9/pbk). Lecture Notes in Computer Science 7294, 73-87 (2012).
1
A new approach to detect and study spatial-temporal intracranial EEG frames (English)
Digital Signal Processing 22, No. 1, 133-139 (2012).
2
A deductive database with Datalog and SQL query languages. (English)
Yang, Hongseok (ed.), Programming languages and systems. 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5‒7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25317-1/pbk). Lecture Notes in Computer Science 7078, 66-73 (2011).
3
XQuery in the functional-logic language $\mathcal{TOY}$. (English)
Kuchen, Herbert (ed.), Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings. Berlin: Springer (ISBN 978-3-642-22530-7/pbk). Lecture Notes in Computer Science 6816, 35-51 (2011).
4
Integrating XPath with the functional-logic language Toy. (English)
Rocha, Ricardo (ed.) et al., Practical aspects of declarative languages. 13th international symposium, PADL 2011, Austin, TX, USA, January 24‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18377-5/pbk). Lecture Notes in Computer Science 6539, 145-159 (2011).
5
Integrating xpath with the functional-logic language toy (English)
PADL, 145-159 (2011).
6
A deductive database with Datalog and SQL query languages (English)
APLAS, 66-73 (2011).
7
Xquery in the functional-logic language toy (English)
WFLP, 35-51 (2011).
8
Applying constraint logic programming to SQL test case generation. (English)
Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19‒21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 191-206 (2010).
9
Applying constraint logic programming to SQL test case generation (English)
FLOPS, 191-206 (2010).
10
Detecting stable phase structures in EEG signals to classify brain activity amplitude patterns. (English)
J. Zhejiang Univ., Sci. A 10, No. 10, 1483-1491 (2009).
11
A theoretical framework for the declarative debugging of Datalog programs. (English)
Schewe, Klaus-Dieter (ed.) et al., Semantics in data and knowledge bases. Third international workshop, SDKB 2008, Nantes, France, March 29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-540-88593-1/pbk). Lecture Notes in Computer Science 4925, 143-159 (2008).
12
A new proposal for debugging Datalog programs. (English)
Electron. Notes Theor. Comput. Sci. 216, 79-92 (2008).
13
A theoretical framework for the declarative debugging of Datalog programs (English)
SDKB, 143-159 (2008).
14
Digital images and simploidal complexes. (Imágenes digitales y complejos simploidales.) (Spanish)
Camacho Moreno, José Carlos (ed.) et al., Avances en matemática discreta en Andalucía. Cádiz: Servicio de Publicaciones, Universidad de Cádiz (ISBN 978-84-9828-133-0/pbk). 145-152 (2007).
15
Implementing dynamic-cut in TOY. (English)
Electron. Notes Theor. Comput. Sci. 177, 153-168 (2007).
16
Result 1 to 16 of 16 total
Start
Contact
Print
General Help
