1 results
A (machine-oriented) logic based on pattern matching
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 7 / August 2023
- Published online by Cambridge University Press:
- 05 July 2023, pp. 647-659
-
- Article
- Export citation