Sign in
Zhibo Chen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Pairwise
Expectation Maximization
Higher Order
Recognition Algorithm
Top Venues
CoRR
FoSSaCS
</>
Publications
</>
Zhibo Chen
,
Frank Pfenning
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns.
CoRR
(2023)
Zhibo Chen
,
Frank Pfenning
A Logical Framework with Higher-Order Rational (Circular) Terms.
FoSSaCS
(2023)
Zhibo Chen
,
Frank Pfenning
A Logical Framework with Higher-Order Rational (Circular) Terms.
CoRR
(2022)