Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
- George 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-21 21:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
