Sciweavers

27 search results - page 1 / 6

» iandc 2007

57

IANDC
2008

85views more IANDC 2008»

1st International Conference on Language and Automata Theory and Applications (LATA 2007)

14 years 10 months ago

1st International Conference on Language and Automata Theory and Applications (LATA 2007)

Download bio-math10.biology.kyushu-u.ac.jp

Remco Loos, Carlos Martín-Vide

claim paper

Read More »

81

IANDC
2007

77views more IANDC 2007»

One-unambiguity of regular expressions with numeric occurrence indicators

14 years 10 months ago

One-unambiguity of regular expressions with numeric occurrence indicators

Download www.cs.uku.fi

Pekka Kilpeläinen, Rauno Tuhkanen

claim paper

Read More »

77

IANDC
2007

74views more IANDC 2007»

Fast congruence closure and extensions

14 years 10 months ago

Fast congruence closure and extensions

Download www.lsi.upc.es

Robert Nieuwenhuis, Albert Oliveras

claim paper

Read More »

73

IANDC
2007

85views more IANDC 2007»

Nominal rewriting

14 years 10 months ago

Nominal rewriting

Download www.dcs.kcl.ac.uk

Maribel Fernández, Murdoch Gabbay

claim paper

Read More »

66

IANDC
2007

76views more IANDC 2007»

Controlling information release in the pi-calculus

14 years 10 months ago

Controlling information release in the pi-calculus

Download www.dsi.unive.it

Silvia Crafa, Sabina Rossi

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »