Languages
Larsen, Kim G.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Automata, languages, and programming25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings /
by:
(1998 :); Larsen, Kim G.; Skyum, Sven.; SpringerLink (Online service); Winskel, Glynn.
(Electronic resources)
Models, mindsets, metathe what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
Graf, Susanne.; Larsen, Kim G.; Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard,
(Electronic resources)
CONCUR 2001concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings /
by:
(1998 :); Larsen, Kim G.; Nielsen, Mogens.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Machine theory
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Computer programming
Programming Languages, Compilers, Interpreters.
Formal languages
Models and Principles.
Computer science
Parallel processing (Electronic computers)