Paul He
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [c1]Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka:
The Satisfiability of Word Equations: Decidable and Undecidable Theories. RP 2018: 15-29 - [i2]Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka:
The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability. CoRR abs/1802.00523 (2018) - 2017
- [j1]Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták:
A simple soundness proof for dependent object types. PACMPL 1(OOPSLA): 46:1-46:27 (2017) - [i1]Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták:
A Simple Soundness Proof for Dependent Object Types. CoRR abs/1706.03814 (2017)
last updated on 2019-01-09 01:34 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint