Fundamenta Informaticae, Volume 24

Volume 24, Number 1/2, September 1995

Special Issue: Term Rewriting Systems

Bernhard Gramlich: Abstract Relations between Restricted Termination and Confluence Properties of Rewrite Systems. 2-23 BibTeX
Ursula Martin: On the Diversity of Orderings on Strings. 25-46 BibTeX
Joachim Steinbach: Simplification Orderings: Histrory of Results. 47-87 BibTeX
Hans Zantema: Termination of Term Rewriting by Semantic Labelling. 89-105 BibTeX
Hantao Zhang: Contextual Rewriting in Automated Reasoning. 107-123 BibTeX
Alexander Bockmayr, Stefan Krischer, Andreas Werner: Narrowing Strategies for Arbitrary Canonical Rewrite Systems. 125-155 BibTeX
Rémi Gilleron, Sophie Tison: Regular Tree Languages and Rewrite Systems. 157-174 BibTeX
Maria Paola Bonacina, Jieh Hsiang: The Clause-Diffusion Methodology for Distributed Deduction. 177-207 BibTeX

Bart Jacobs: Parameters and Parametrization in Specification, Using Distributive Categories. 209-250 BibTeX
Victor Mitrana: Similarity in Grammar Systems. 251-257 BibTeX
Reinhold Heckmann: Lower Bag Domains. 259-281 BibTeX
Joaquim Gabarró, Maria J. Serna: Rational Processes and Linear Systems in CSP. 283-302 BibTeX
Victor Felea: On the Family of Conditional Implicational Dependencies. 303-312 BibTeX

G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon: Axiomatizations of Interval Logics. 313-331 BibTeX
Jan Magott: Performance Evaluation of Systems Defined in Specification Language. 333-357 BibTeX
Y. S. Ramakrishna: On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions. 387-405 BibTeX
Olivier Gasquet: A New Incompleteness Result in Kripke Semantics. 407-415 BibTeX