Sciweavers

27 search results - page 1 / 6
» iandc 2007
Sort
View
IANDC
2007
74views more  IANDC 2007»
13 years 3 months ago
Fast congruence closure and extensions
Robert Nieuwenhuis, Albert Oliveras
IANDC
2007
85views more  IANDC 2007»
13 years 3 months ago
Nominal rewriting
Maribel Fernández, Murdoch Gabbay
IANDC
2007
76views more  IANDC 2007»
13 years 3 months ago
Controlling information release in the pi-calculus
Silvia Crafa, Sabina Rossi