Login / Signup
Ferdinand Vesely
ORCID
Publication Activity (10 Years)
Years Active: 2014-2019
Publications (10 Years): 1
Top Topics
Cooperative
Intended Meaning
Database
Top Venues
WRLA
ESOP
Logic, Rewriting, and Concurrency
</>
Publications
</>