Sciweavers

10575 search results - page 98 / 2115
» T2Script Programming Language
Sort
View
ESOP
2000
Springer
15 years 10 months ago
On the Translation of Procedures to Finite Machines
Markus Müller-Olm, Andreas Wolf
114
Voted
ICALP
2000
Springer
15 years 10 months ago
Extended Notions of Security for Multicast Public Key Cryptosystems
Olivier Baudron, David Pointcheval, Jacques Stern
115
Voted
ICALP
2000
Springer
15 years 10 months ago
LTL Is Expressively Complete for Mazurkiewicz Traces
Volker Diekert, Paul Gastin
131
Voted
ICALP
2000
Springer
15 years 10 months ago
Approximate TSP in Graphs with Forbidden Minors
Michelangelo Grigni