A Larch shared language handbook
From MaRDI portal
Recommendations
Cited in
(8)- Algebraic specification of modules and their basic interconnections
- Complexity analysis of term-rewriting systems
- Design strategies for rewrite rules
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- Extending Bachmair's method for proof by consistency to the final algebra
- An overview of LP, the Larch Prover
- Report on the Larch shared language
- Partial functions and logics: A warning
This page was built for publication: A Larch shared language handbook
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1067768)