Document details

The decidability of a fragment of BB'IW-logic

Author(s): Silva, Paulo José da Silva e

Date: 2004

Origin: Oasisbr

Subject(s): LÓGICA MATEMÁTICA; LÓGICA MATEMÁTICA; LÓGICA MATEMÁTICA


Document Type Journal article
Language English
facebook logo  linkedin logo  twitter logo 
mendeley logo