Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Cliff B. Jones
Latest
A Semantic Analysis of Logics That Cope with Partial Terms
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
Cite
×