Sciweavers

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