Sciweavers

69 search results - page 7 / 14
» mscs 2006
Sort
View
MSCS
2006
88views more  MSCS 2006»
14 years 9 months ago
Types and typechecking for Communicating Quantum Processes
Simon J. Gay, Rajagopal Nagarajan
44
Voted
MSCS
2006
49views more  MSCS 2006»
14 years 9 months ago
On light logics, uniform encodings and polynomial time
Ugo Dal Lago, Patrick Baillot
MSCS
2006
59views more  MSCS 2006»
14 years 9 months ago
Transition systems, link graphs and Petri nets
James J. Leifer, Robin Milner
49
Voted
MSCS
2006
62views more  MSCS 2006»
14 years 9 months ago
Compactly generated domain theory
Ingo Battenfeld, Matthias Schröder, Alex Simp...
MSCS
2006
87views more  MSCS 2006»
14 years 9 months ago
Addressed term rewriting systems: application to a typed object calculus
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...