Rui Ge
Orcid: 0000-0003-1049-8132Affiliations:
- University of British Columbia, Department of Computer Science, Vancouver, BC, Canada
According to our database1,
Rui Ge
authored at least 3 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version).
CoRR, 2024
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024
2019