Login / Signup
Maria Concetta Di Maio
Publication Activity (10 Years)
Years Active: 1994-1998
Publications (10 Years): 0
</>
Publications
</>
Maria Concetta Di Maio
,
Alberto Zanardo
A Gabbay-Rule Free Axiomatization of T×W Validity.
J. Philos. Log.
27 (5) (1998)
Maria Concetta Di Maio
,
Alberto Zanardo
Synchronized Histories in Prior-Thomason Representation of Branching Time.
ICTL
(1994)