Sciweavers

69 search results - page 6 / 14
» mscs 2006
Sort
View
MSCS
2008
93views more  MSCS 2008»
14 years 9 months ago
Comparative uncertainty: theory and automation
Andrea Capotorti, Andrea Formisano
MSCS
2006
58views more  MSCS 2006»
14 years 9 months ago
Ordinal computations
Peter Koepke, Martin Koerwien
77
Voted
MSCS
2006
80views more  MSCS 2006»
14 years 9 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer