Login / Signup
Tim Henke
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Markov Chain
Prior Knowledge
Theoretical Framework
Web Services
Top Venues
J. Log. Comput.
</>
Publications
</>
Nick Bezhanishvili
,
Tim Henke
A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem.
J. Log. Comput.
30 (7) (2020)