Tim Henke

According to our database, Tim Henke authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem.

Nick Bezhanishvili, Tim Henke

J. Log. Comput., 2020