Sciweavers

10871 search results - page 117 / 2175

» A stable programming language

26

ESOP
2000
Springer

120views Programming Languages» more ESOP 2000»

On the Translation of Procedures to Finite Machines

14 years 1 months ago

On the Translation of Procedures to Finite Machines

Download www.informatik.uni-kiel.de

Markus Müller-Olm, Andreas Wolf

claim paper

Read More »

21

ICALP
2000
Springer

114views Programming Languages» more ICALP 2000»

Extended Notions of Security for Multicast Public Key Cryptosystems

14 years 1 months ago

Extended Notions of Security for Multicast Public Key Cryptosystems

Download www.di.ens.fr

Olivier Baudron, David Pointcheval, Jacques Stern

claim paper

Read More »

19

ICALP
2000
Springer

58views Programming Languages» more ICALP 2000»

LTL Is Expressively Complete for Mazurkiewicz Traces

14 years 1 months ago

LTL Is Expressively Complete for Mazurkiewicz Traces

Download www.liafa.jussieu.fr

Volker Diekert, Paul Gastin

claim paper

Read More »

31

ICALP
2000
Springer

103views Programming Languages» more ICALP 2000»

Approximate TSP in Graphs with Forbidden Minors

14 years 1 months ago

Approximate TSP in Graphs with Forbidden Minors

Download www.mathcs.emory.edu

Michelangelo Grigni

claim paper

Read More »

30

ICALP
2000
Springer

68views Programming Languages» more ICALP 2000»

Dispersing Hash Functions

14 years 1 months ago

Dispersing Hash Functions

Download www.it-c.dk

Rasmus Pagh

claim paper

Read More »

« Prev « First page 117 / 2175 Last » Next »