Search Sciweavers | Sciweavers

3928 search results - page 16 / 786

» order 2006

click to vote

CORR
2006
Springer

82views Education» more CORR 2006»

Higher-Order Termination: from Kruskal to Computability

13 years 9 months ago

Download www-rocq.inria.fr

Frédéric Blanqui, Jean-Pierre Jouann...

claim paper

Read More »

click to vote

CORR
2006
Springer

120views Education» more CORR 2006»

On Cosets of the Generalized First-Order Reed-Muller Code with Low PMEPR

13 years 9 months ago

Download www.sfu.ca

Kai-Uwe Schmidt

claim paper

Read More »

click to vote

ENTCS
2006

131views more ENTCS 2006»

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names

13 years 9 months ago

Download www.itu.dk

Mikkel Bundgaard, Thomas T. Hildebrandt

claim paper

Read More »

click to vote

PODS
2006
ACM

186views Database» more PODS 2006»

Flow algorithms for two pipelined filter ordering problems

14 years 10 months ago

Download people.cs.ubc.ca

Anne Condon, Amol Deshpande, Lisa Hellerstein, Nin...

claim paper

Read More »

click to vote

JSYML
2002

66views more JSYML 2002»

The Strict Order Property and Generic Automorphisms

13 years 9 months ago

Download shelah.logic.at

If T is a model complete theory with the strict order property, then the theory of the models of T with an automorphism has no model companion.

Hirotaka Kikyo, Saharon Shelah

claim paper

Read More »

« Prev « First page 16 / 786 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers