On word problems in Horn theories
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 144-160
- https://doi.org/10.1007/3-540-19242-5_12
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On word problems in equational theoriesPublished by Springer Nature ,1987
- On solving the equality problem in theories defined by Horn clausesTheoretical Computer Science, 1986
- TerminationPublished by Springer Nature ,1985
- Equality, types, modules, and (why not?) generics for logic programmingThe Journal of Logic Programming, 1984
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting SystemsJournal of the ACM, 1980
- Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.Published by Elsevier ,1970