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
Volume 24, Number 3, November 1995
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
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
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
Copyright ©
Sat May 16 23:59:22 2009 by
Michael Ley
(
ley@uni-trier.de
)