Sciweavers

108 search results - page 1 / 22
» iandc 2006
Sort
View
69
Voted
IANDC
2007
52views more  IANDC 2007»
15 years 1 months ago
A general lock-free algorithm using compare-and-swap
Hui Gao, Wim H. Hesselink
97
Voted
IANDC
2007
77views more  IANDC 2007»
15 years 1 months ago
One-unambiguity of regular expressions with numeric occurrence indicators
Pekka Kilpeläinen, Rauno Tuhkanen
94
Voted
IANDC
2007
74views more  IANDC 2007»
15 years 1 months ago
Fast congruence closure and extensions
Robert Nieuwenhuis, Albert Oliveras
97
Voted
IANDC
2007
85views more  IANDC 2007»
15 years 1 months ago
Nominal rewriting
Maribel Fernández, Murdoch Gabbay
91
Voted
IANDC
2007
76views more  IANDC 2007»
15 years 1 months ago
Controlling information release in the pi-calculus
Silvia Crafa, Sabina Rossi