scientific article; zbMATH DE number 4006231
From MaRDI portal
Publication:3757892
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)- scientific article; zbMATH DE number 1419256 (Why is no real title available?)
- From Hertzsprung's problem to pattern-rewriting systems
- scientific article; zbMATH DE number 1222418 (Why is no real title available?)
- scientific article; zbMATH DE number 4041318 (Why is no real title available?)
- Congruential complements of ground term rewrite systems
- Using the TPTP Language for Writing Derivations and Finite Interpretations
- scientific article; zbMATH DE number 3949707 (Why is no real title available?)
- On sufficient-completeness and related properties of term rewriting systems
- Foundations of Software Science and Computation Structures
- Complete involutive rewriting systems
- scientific article; zbMATH DE number 3890721 (Why is no real title available?)
- scientific article; zbMATH DE number 3878384 (Why is no real title available?)
- On the descriptive power of term rewriting systems
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)
