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!

13 years 11 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

13 years 11 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

13 years 8 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

13 years 11 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)

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers