1
TÍTULO: Notions of Bisimulation for Heyting-Valued Modal Languages
AUTORES: Pantelis E Eleftheriou; Costas D Koutras; Christos Nomikos;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef