Languages
Queiroz, Ruy.
Overview
Works: | 2 works in 2 publications in 1 languages |
---|
Titles
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
Queiroz, Ruy.; SpringerLink (Online service); Ong, Luke.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
Hodges, Wilfrid.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Queiroz, Ruy.
(Language materials, printed)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
Hodges, Wilfrid.; Workshop on the Preservation of Stability under Discretization ((2001 :); Queiroz, Ruy.; SpringerLink (Online service)
(Language materials, printed)
Logic, Language, Information, and Computation = 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Libkin, Leonid.; SpringerLink (Online service); Kohlenbach, Ulrich.; Queiroz, Ruy.
(Language materials, printed)
Subjects
Artificial Intelligence (incl. Robotics)
Computer logic
Algorithm Analysis and Problem Complexity.
Symbolic and Algebraic Manipulation.
Computation by Abstract Devices.
Logic, Symbolic and mathematical
Theory of Computation.
Computing Methodologies.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Computer Science.
Computer Science, general.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.