Volume 72, Number 1, 1990

• 
  Lothar Budach: Topological Invariants of Classification Problems. 3-26
• 
  Kosaburo Hashiguchi: Improved Limitedness Theorems on Finite Automata with Distance Functions. 27-38
• 
  Arturo Carpi, Aldo de Luca: Non-Repetitive Words Relative to a Rewriting System. 39-53
• 
  Antonio Restivo: Codes and Local Constraints. 55-64
• 
  Imre Simon: Factorization Forests of Finite Height. 65-94

Volume 72, Number 2&3, 1990

• 
  Giorgio Ausiello, Umberto Nanni: Dynamic Maintenance of Directed Hypergraphs. 97-117
• 
  Erwin Engeler: Combinatory Differential Fields. 119-131
• 
  Rachid Echahed: On Completeness of Narrowing Strategies. 133-146
• 
  Jean Françon, B. Randrianarimanana, René Schott: Analysis of Dynamic Algorithms in Knuth's Model. 147-167
• 
  Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner: Equational Completion in Order-Sorted Algebras. 169-202
• 
  Roberto Gorrieri, Sergio Marchetti, Ugo Montanari: A2CCKS: Atomic Actions for CCS. 203-223
• 
  Richard Kennaway: Implementing Term Rewrite Languages in Dactl. 225-249
• 
  Rolf Klein, Derick Wood: A Tight Upper Bound for the Path Length of AVL Trees. 251-264
• 
  Kim Guldstrand Larsen: Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. 265-288

last updated on Sun May 26 03:19:47 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page