Login / Signup
Paulo Guilherme Santos
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Desirable Properties
Qualitative Temporal Reasoning
Data Model
Term Rewriting Systems
Top Venues
Bull. Symb. Log.
CoRR
Logica Universalis
</>
Publications
</>
Paulo Guilherme Santos
,
Reinhard Kahle
k-Provability in $\hbox {PA}$.
Logica Universalis
15 (4) (2021)
Paulo Guilherme Santos
,
Reinhard Kahle
Variants of Kreisel's Conjecture on a New Notion of Provability.
Bull. Symb. Log.
27 (4) (2021)
António Malheiro
,
Paulo Guilherme Santos
A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems.
CoRR
(2019)