Login / Signup
Pierre Wagner
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Operational Semantics
Databases
Logical Language
Proof Theory
Top Venues
Synth.
</>
Publications
</>
Pierre Wagner
Carnapian and Tarskian semantics.
Synth.
194 (1) (2017)