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
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computational complexity
Discrete Mathematics in Computer Science.
Computer Science.
Programming Techniques.
Logic programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Program transformation (Computer programming)