Languages
Vidal, German.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Functional and logic programming = 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010 : proceedings /
by:
Blume, Matthias.; Kobayashi, Naoki.; SpringerLink (Online service); Vidal, German.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
SpringerLink (Online service); Vidal, German.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Logic programming
Program transformation (Computer programming)
Discrete Mathematics in Computer Science.
Computational complexity
Computer Science.
Programming Techniques.