Login / Signup
k-Provability in $\hbox {PA}$.
Paulo Guilherme Santos
Reinhard Kahle
Published in:
Logica Universalis (2021)
Keyphrases
</>
qualitative temporal reasoning
video sequences