Sciweavers

10585 search results - page 337 / 2117

» The Orc Programming Language

131

ICALP
2007
Springer

112views Programming Languages» more ICALP 2007»

A Fully Abstract Trace Semantics for General References

16 years 9 days ago

A Fully Abstract Trace Semantics for General References

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

114

ICALP
2007
Springer

98views Programming Languages» more ICALP 2007»

Complexity of the Cover Polynomial

16 years 9 days ago

Complexity of the Cover Polynomial

Download www-cc.cs.uni-saarland.de

Markus Bläser, Holger Dell

claim paper

Read More »

117

Voted

ICALP
2007
Springer

88views Programming Languages» more ICALP 2007»

Ready Simulation for Concurrency: It's Logical!

16 years 9 days ago

Ready Simulation for Concurrency: It's Logical!

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

Gerald Lüttgen, Walter Vogler

claim paper

Read More »

138

ICALP
2007
Springer

97views Programming Languages» more ICALP 2007»

Unranked Tree Automata with Sibling Equalities and Disequalities

16 years 9 days ago

Unranked Tree Automata with Sibling Equalities and Disequalities

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

Karianto Wong, Christof Löding

claim paper

Read More »

149

ICLP
2007
Springer

78views Automated Reasoning» more ICLP 2007»

Preferences, Contexts and Answer Sets

16 years 9 days ago

Preferences, Contexts and Answer Sets

Download www.informatik.uni-leipzig.de

Gerhard Brewka

claim paper

Read More »

« Prev « First page 337 / 2117 Last » Next »