Sciweavers

10575 search results - page 98 / 2115
» Programming Languages
Sort
View
87
Voted
ESOP
2000
Springer
15 years 6 months ago
Faithful Translations between Polyvariant Flows and Polymorphic Types
Torben Amtoft, Franklyn A. Turbak
97
Voted
ESOP
2000
Springer
15 years 6 months ago
On the Translation of Procedures to Finite Machines
Markus Müller-Olm, Andreas Wolf
75
Voted
ICALP
2000
Springer
15 years 5 months ago
Extended Notions of Security for Multicast Public Key Cryptosystems
Olivier Baudron, David Pointcheval, Jacques Stern
73
Voted
ICALP
2000
Springer
15 years 5 months ago
LTL Is Expressively Complete for Mazurkiewicz Traces
Volker Diekert, Paul Gastin
93
Voted
ICALP
2000
Springer
15 years 5 months ago
Approximate TSP in Graphs with Forbidden Minors
Michelangelo Grigni