Login / Signup
Guilherme de Souza Rabello
Publication Activity (10 Years)
Years Active: 2006-2008
Publications (10 Years): 0
</>
Publications
</>
Guilherme de Souza Rabello
,
Marcelo Finger
Approximations of modal logics: K and beyond.
Ann. Pure Appl. Log.
152 (1-3) (2008)
Guilherme de Souza Rabello
,
Marcelo Finger
Approximations of Modal Logic K.
Electron. Notes Theor. Comput. Sci.
143 (2006)