Login / Signup
Panagiotis Rouvelas
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 4
Top Topics
Search Engine
Theoretical Basis
Human Generated
Databases
Top Venues
Math. Log. Q.
J. Symb. Log.
Ann. Pure Appl. Log.
</>
Publications
</>
Panagiotis Rouvelas
Cantorian Models of Predicative.
J. Symb. Log.
89 (2) (2024)
Panagiotis Rouvelas
Strong Ambiguity.
Math. Log. Q.
68 (1) (2022)
Panagiotis Rouvelas
Decreasing sentences in Simple Type Theory.
Math. Log. Q.
63 (5) (2017)
Panagiotis Rouvelas
Increasing sentences in Simple Type Theory.
Ann. Pure Appl. Log.
168 (10) (2017)