Search Sciweavers | Sciweavers

17 search results - page 1 / 4

» iandc 2002

click to vote

IANDC
2002

49views more IANDC 2002»

A Monadic Second-Order Definition of the Structure of Convex Hypergraphs

14 years 10 months ago

Download www.labri.fr

Bruno Courcelle

claim paper

Read More »

Voted

IANDC
2002

60views more IANDC 2002»

Foundations for Extensible Objects with Roles

14 years 10 months ago

Download www.di.unipi.it

Giorgio Ghelli

claim paper

Read More »

Voted

IANDC
2002

49views more IANDC 2002»

A Characterisation of Multiply Recursive Functions with Higman's Lemma

14 years 10 months ago

Download www.lifl.fr

Hélène Touzet

claim paper

Read More »

click to vote

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

14 years 10 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

Voted

IANDC
2002

54views more IANDC 2002»

Prelogical Relations

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers