Search Sciweavers | Sciweavers

108 search results - page 1 / 22

» iandc 2006

click to vote

IANDC
2007

52views more IANDC 2007»

A general lock-free algorithm using compare-and-swap

13 years 4 months ago

Download dissertations.ub.rug.nl

Hui Gao, Wim H. Hesselink

claim paper

Read More »

click to vote

IANDC
2007

77views more IANDC 2007»

One-unambiguity of regular expressions with numeric occurrence indicators

13 years 4 months ago

Download www.cs.uku.fi

Pekka Kilpeläinen, Rauno Tuhkanen

claim paper

Read More »

click to vote

IANDC
2007

74views more IANDC 2007»

Fast congruence closure and extensions

13 years 4 months ago

Download www.lsi.upc.es

Robert Nieuwenhuis, Albert Oliveras

claim paper

Read More »

click to vote

IANDC
2007

85views more IANDC 2007»

Nominal rewriting

13 years 4 months ago

Download www.dcs.kcl.ac.uk

Maribel Fernández, Murdoch Gabbay

claim paper

Read More »

click to vote

IANDC
2007

76views more IANDC 2007»

Controlling information release in the pi-calculus

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers