Languages
Abramsky, Samson.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Typed lambda calculi and applications = 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings /
by:
Abramsky, Samson.; SpringerLink (Online service); International Conference on Typed Lambda Calculi and Applications (2001 :)
(Language materials, printed)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part II /
by:
Abramsky, Samson.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2010 :)
(Language materials, printed)
Automata, languages and programming = 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings.. part I /
by:
Abramsky, Samson.; SpringerLink (Online service); International Colloquium on Automata, Languages, and Programming (2010 :)
(Language materials, printed)
Dependence logic = theory and applications /
by:
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.
Information Systems Applications (incl.Internet)
Imaging systems in medicine- Congresses.
Computer Science.
Computer Communication Networks.
Discrete Mathematics in Computer Science.