2. LATIN 1995:
Valparaíso, Chile
Stefan Brands:
Off-Line Electronic Cash Based on Secret-Key Certificates.
131-166
Jérôme Olivier Durand-Lose:
Reversible Cellular Automaton Able to Simulate Any Other Reversible One Using Partitioning Automata.
230-244
Laureano González-Vega:
On the Complexity of Computing the Greatest Common Divisor of Several Univariate Polynomials.
332-345
Christian Herzog:
Pushdown Automata with Bounded Nondeterminism and Bounded Anbiguity.
358-370
Maurice Margenstern:
Non-Erasing Turing Machines: A New Frontier Between a Decidable Halting Problem and Universality.
386-397
Zsuzsanna Róka:
Simulations Between Cellular Automata on Cayley Graphs.
483-493
Farn Wang:
A Temporal Logic for Real-Time Partial-Ordering with Named Transactions.
494-508
data released under the ODC-BY 1.0 license
