Languages
Dawar, Anuj.
Overview
| Works: | 14 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Computer science logic = 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, proceedings /
by:
Dawar, Anuj.; Veith, Helmut.; SpringerLink (Online service)
(Language materials, printed)
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
Dawar, Anuj.; Queiroz, Ruy.; SpringerLink (Online service); Workshop on Logic, Language, Information and Computation (2010 :)
(Language materials, printed)
How the world computes = Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012 : proceedings /
by:
Dawar, Anuj.; SpringerLink (Online service); Lowe, Benedikt.; Cooper, S. Barry.
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Computer logic
Programming Languages, Compilers, Interpreters.
Computable functions
Computer science- Mathematics
Computer logic- Congresses.
Logic, Symbolic and mathematical- Congresses.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.