Sciweavers

17 search results - page 1 / 4

» icalp 1997

14

ICALP
1997
Springer

67views Programming Languages» more ICALP 1997»

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

13 years 9 months ago

Some Bounds on the Computational Power of Piecewise Constant Derivative Systems (Extended Abstract)

Download www.lix.polytechnique.fr

Olivier Bournez

claim paper

Read More »

10

ICALP
1997
Springer

84views Programming Languages» more ICALP 1997»

Bisimulation Equivalence is Decidable for One-Counter Processes

13 years 9 months ago

Bisimulation Equivalence is Decidable for One-Counter Processes

Download www.fi.muni.cz

Petr Jancar

claim paper

Read More »

11

ICALP
1997
Springer

96views Programming Languages» more ICALP 1997»

An Abstract Data Type for Real Numbers

13 years 9 months ago

An Abstract Data Type for Real Numbers

Download users.dimi.uniud.it

Pietro Di Gianantonio

claim paper

Read More »

11

ICALP
1997
Springer

65views Programming Languages» more ICALP 1997»

Monadic Simultaneous Rigid E-Unification and Related Problems

13 years 9 months ago

Monadic Simultaneous Rigid E-Unification and Related Problems

Download research.microsoft.com

Yuri Gurevich, Andrei Voronkov

claim paper

Read More »

13

ICALP
1997
Springer

80views Programming Languages» more ICALP 1997»

Maintaining Minimum Spanning Trees in Dynamic Graphs

13 years 9 months ago

Maintaining Minimum Spanning Trees in Dynamic Graphs

Download www.hpl.hp.com

Monika Rauch Henzinger, Valerie King

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »