scientific article; zbMATH DE number 4006231
From MaRDI portal
Publication:3757892
zbMATH Open0621.03005MaRDI QIDQ3757892FDOQ3757892
Authors: Rimgaudas Zhaldokas 
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 3890721
- scientific article; zbMATH DE number 4155899
- Foundations of Software Science and Computation Structures
- Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
- On sufficient-completeness and related properties of term rewriting systems
Cited In (13)
- From Hertzsprung's problem to pattern-rewriting systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Using the TPTP Language for Writing Derivations and Finite Interpretations
- Congruential complements of ground term rewrite systems
- Title not available (Why is that?)
- On sufficient-completeness and related properties of term rewriting systems
- Foundations of Software Science and Computation Structures
- Complete involutive rewriting systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the descriptive power of term rewriting systems
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3757892)
