Queiroz, Ruy.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic, language, information and computation17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(1998 :); Dawar, Anuj.; Queiroz, Ruy.; SpringerLink (Online service)
(Electronic resources)
Logic, Language, Information and Computation15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(1998 :); Hodges, Wilfrid.; Queiroz, Ruy.; SpringerLink (Online service)
(Electronic resources)
Logic, language, information and computation19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(1998 :); Ong, Luke.; Queiroz, Ruy.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Theory of Computation.
Computing Methodologies.
Mathematics of Computing.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Computer logic
Formal methods (Computer science)
Logic, Symbolic and mathematical
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.