Fundamenta Informaticae, Volume 24

Volume 24, Number 1/2, September 1995

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

Volume 24, Number 3, November 1995

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

Volume 24, Number 4, December 1995

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

Last update Sat May 18 20:26:37 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page