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