Languages
Dowek, Gilles.
Overview
| Works: | 5 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Rewriting and Typed Lambda Calculi = joint international conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings /
by:
Dowek, Gilles.; SpringerLink (Online service)
(Electronic resources)
Principles of programming languages
by:
SpringerLink (Online service); Dowek, Gilles.
(Language materials, printed)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
Armando, Alessandro.; Baumgartner, Peter.; Dowek, Gilles.; SpringerLink (Online service); IJCAR 2001 ((2008 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Rewriting systems (Computer science)
Computing Methodologies.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Lambda calculus
Mathematics of Computing.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer logic
Computer logic- Congresses.
Computer Science.
Symbolic and Algebraic Manipulation.