Back to Search
Start Over
Conditional rewriting and narrowing as a theoretical framework for logic-functional programming : A Survey
- Publication Year :
- 2023
- Publisher :
- Universität des Saarlandes, 2023.
Details
- Language :
- English
- Database :
- OpenAIRE
- Accession number :
- edsair.doi...........ad9a16fcd3b1f5de2661de09775dbe8b
- Full Text :
- https://doi.org/10.22028/d291-39525