Sciweavers

69 search results - page 1 / 14
» mscs 2006
Sort
View
65
Voted
MSCS
2006
73views more  MSCS 2006»
15 years 22 days ago
Continuous semantics for strong normalisation
Ulrich Berger
62
Voted
MSCS
2006
50views more  MSCS 2006»
15 years 22 days ago
Monoids over domains
Michael W. Mislove
81
Voted
MSCS
2006
71views more  MSCS 2006»
15 years 22 days ago
A domain-theoretic Banach-Alaoglu theorem
Gordon D. Plotkin
63
Voted
MSCS
2000
63views more  MSCS 2000»
15 years 17 days ago
Domain equations for probabilistic processes
Christel Baier, Marta Z. Kwiatkowska
69
Voted
MSCS
2000
77views more  MSCS 2000»
15 years 17 days ago
Algebraic spans
Maurice Herlihy, Sergio Rajsbaum