Login / Signup
Jim Laird
Publication Activity (10 Years)
Years Active: 2005-2019
Publications (10 Years): 2
Top Topics
Relational Models
Video Games
Imperative Programs
Dynamic Logic
Top Venues
LICS
CoRR
Ann. Pure Appl. Log.
Inf. Comput.
</>
Publications
</>