Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 4

Xin Gao

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers1 papers

Sort

By YearBy Citation

Finite Machine Word Library

Joel Beeren,Matthew Fernandez,Xin Gao,Gerwin Klein,Rafal Kolanski,Japheth Lim,Corey Lewis,Daniel Matichuk,Thomas Sewell

Archive of Formal Proofs, (2016)

EIBibtex

View All

Base Info Papers Patents Projects