Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.Ji, Kailiang 2016. Verified Software. Theories, Tools, and Experiments. Vol. 9971, Issue. , p. 166.
Bonacina, Maria Paola and Winkler, Sarah 2023. Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover. Journal of Automated Reasoning, Vol. 67, Issue. 1,
Liu, Peiyao Xu, Yang Liu, Jun Chen, Shuwei Cao, Feng and Wu, Guanfeng 2023. Fully reusing clause deduction algorithm based on standard contradiction separation rule. Information Sciences, Vol. 622, Issue. , p. 337.
Kowalski, Robert 2024. The Marseille-Edinburgh Connection. Revue Ouverte d'Intelligence Artificielle, Vol. 5, Issue. 2-3, p. 31.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4