The following pages link to A Larch shared language handbook (Q1067768):
Displaying 7 items.
- Partial functions and logics: A warning (Q673461) (← links)
- Report on the Larch shared language (Q1067767) (← links)
- Algebraic specification of modules and their basic interconnections (Q1089795) (← links)
- Complexity analysis of term-rewriting systems (Q1262761) (← links)
- Extending Bachmair's method for proof by consistency to the final algebra (Q1336767) (← links)
- An overview of LP, the Larch Prover (Q5055717) (← links)
- Design strategies for rewrite rules (Q5881289) (← links)