Languages
Abramsky, Samson.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automata, languages and programming37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.part II /
by:
(1998 :); Abramsky, Samson.; SpringerLink (Online service)
(Electronic resources)
Dependence logictheory and applications /
by:
Abramsky, Samson.; SpringerLink (Online service)
(Electronic resources)
Automata, languages and programming37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.part I /
by:
(1998 :); Abramsky, Samson.; SpringerLink (Online service)
(Electronic resources)
Typed lambda calculi and applications5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings /
by:
(1998 :); Abramsky, Samson.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Artificial intelligence
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logic.
Lambda calculus
Machine theory
Logic, Symbolic and mathematical.
Linear dependence (Mathematics)
Algorithm Analysis and Problem Complexity.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Image registration
Mathematics.
Imaging systems in medicine
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.