Search Sciweavers | Sciweavers

70 search results - page 2 / 14

» icalp 2007

click to vote

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

14 years 5 months ago

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

click to vote

ICALP
2007
Springer

97views Programming Languages» more ICALP 2007»

Unranked Tree Automata with Sibling Equalities and Disequalities

14 years 5 months ago

Download www-i7.informatik.rwth-aachen.de

Karianto Wong, Christof Löding

claim paper

Read More »

click to vote

ICALP
2007
Springer

95views Programming Languages» more ICALP 2007»

Exotic Quantifiers, Complexity Classes, and Complete Problems

14 years 2 months ago

Download math-www.uni-paderborn.de

Peter Bürgisser, Felipe Cucker

claim paper

Read More »

click to vote

ICALP
2007
Springer

82views Programming Languages» more ICALP 2007»

Unrestricted Aggregate Signatures

14 years 5 months ago

Download cseweb.ucsd.edu

Mihir Bellare, Chanathip Namprempre, Gregory Neven

claim paper

Read More »

click to vote

ICALP
2007
Springer

94views Programming Languages» more ICALP 2007»

Categorical Views on Computations on Trees (Extended Abstract)

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers