- Géraud Sénizergues:
On the Rational Subsets of the Free Group. Acta Informatica 33(3): 281-296 (1996) - Robert H. Sloan, Ugo A. Buy:
Reduction Rules for Time Petri Nets. Acta Informatica 33(7): 687-706 (1996) - Gunnar Stålmarck:
Short Resolution Proofs for a Sequence of Tricky Formulas. Acta Informatica 33(3): 277-280 (1996) - Gadi Taubenfeld, Shlomo Moran:
Possibility and Impossibility Results in a Shared Memory Environment. Acta Informatica 33(1): 1-20 (1996) - Mikkel Thorup:
Disambiguating Grammars by Exclusion of Sub-Parse Trees. Acta Informatica 33(6): 511-522 (1996) - Alexander Tuzhilin, Zvi M. Kedem:
Modeling Data-Intensive Reactive Systems with Relational Transition Systems. Acta Informatica 33(3): 203-231 (1996) - Egon Wanke:
Undecidability of Restricted Uniform Recurrence Equations. Acta Informatica 33(5): 463-475 (1996)
