313 | -- | 332 | Orna Grumberg, Nissim Francez, Shmuel Katz. A Complete Rule for Equifair Termination |
333 | -- | 360 | Andrzej Tarlecki. Quasi-varieties in Abstract Algebraic Institutions |
361 | -- | 393 | Serge Abiteboul, Nicole Bidoit. Non First Normal Form Relations: An Algebra Allowing Data Restructuring |
394 | -- | 414 | Martin E. Kaliski, S. Yunkap Kwankam, Pamela Halpern, David Shulman. A Theory of Orbital Behavior in a Class of Nonlinear Systems: Chaos and a Signature-Based Approach |
415 | -- | 422 | Dirk Janssens, Grzegorz Rozenberg, Emo Welzl. The Bounded Degree Problem for NLC Grammars is Decidable |
423 | -- | 455 | Günter Hotz. A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory |
456 | -- | 472 | Elias Dahlhaus, Manfred K. Warmuth. Membership for Growing Context-Sensitive Grammars is Polynomial |
473 | -- | 480 | Howard C. Card, Adonios Thanailakis, Werner Pries, Robert D. McLeod. Analysis of Bounded Linear Cellular Automata Based on a Method of Image Charges |