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