Sciweavers

10871 search results - page 117 / 2175
» A stable programming language
Sort
View
107
Voted
ESOP
2000
Springer
15 years 7 months ago
On the Translation of Procedures to Finite Machines
Markus Müller-Olm, Andreas Wolf
84
Voted
ICALP
2000
Springer
15 years 7 months ago
Extended Notions of Security for Multicast Public Key Cryptosystems
Olivier Baudron, David Pointcheval, Jacques Stern
81
Voted
ICALP
2000
Springer
15 years 7 months ago
LTL Is Expressively Complete for Mazurkiewicz Traces
Volker Diekert, Paul Gastin
100
Voted
ICALP
2000
Springer
15 years 7 months ago
Approximate TSP in Graphs with Forbidden Minors
Michelangelo Grigni
ICALP
2000
Springer
15 years 7 months ago
Dispersing Hash Functions
Rasmus Pagh