Rui Ge

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 4

Top Topics

Predicate Calculus

Stochastic Optimization

Top Venues

J. Comput. Lang.

Publications

Rui Ge, Ronald Garcia, Alexander J. Summers
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version). CoRR (2024)
Rui Ge, Ronald Garcia, Alexander J. Summers
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations. IJCAR (1) (2024)
Rui Ge, Ronald Garcia
Refining semantics for multi-stage programming. J. Comput. Lang. 51 (2019)
Rui Ge, Ronald Garcia
Refining semantics for multi-stage programming. GPCE (2017)