Languages
Montanari, Ugo.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Recent trends in algebraic development techniques19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(1998 :); Corradini, Andrea.; Montanari, Ugo.; SpringerLink (Online service)
(Electronic resources)
Automata, languages and programming27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
by:
(1998 :); Montanari, Ugo.; Rolim, Jose D. P.; SpringerLink (Online service); Welzl, Emo.
(Electronic resources)
Models of computation
by:
Bruni, Roberto.; Montanari, Ugo.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Theory of Computation.
Mathematical Logic and Formal Languages.
Mathematics of Computing.
Logics and Meanings of Programs.
Machine theory
Software Engineering/Programming and Operating Systems.
Computer software
Computation by Abstract Devices.
Programming languages (Electronic computers)
Computer science
Computer Science.