Sciweavers

10666 search results - page 116 / 2134

» Quantum programming languages

28

ESOP
2000
Springer

79views Programming Languages» more ESOP 2000»

Faithful Translations between Polyvariant Flows and Polymorphic Types

14 years 1 months ago

Faithful Translations between Polyvariant Flows and Polymorphic Types

Download reference.kfupm.edu.sa

Torben Amtoft, Franklyn A. Turbak

claim paper

Read More »

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 »

« Prev « First page 116 / 2134 Last » Next »