Operational Semantics of Resolution and Productivity in Horn Clause Logic
- Peng Fu
- , Ekaterina Komendantskaya
Research output: Contribution to journal › Article › peer-review
16
Link opens in a new tab
Citations
(Scopus)
58
Downloads
(Pure)