Languages
Vidal, German.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
Vidal, German.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Subjects
Artificial Intelligence (incl. Robotics)
Computational complexity
Computer Science.
Discrete Mathematics in Computer Science.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Techniques.
Program transformation (Computer programming)
Software Engineering.