Christos Nomikos
AuthID: R-006-JW2
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
AUTORES: Pantelis E Eleftheriou; Costas D Koutras; Christos Nomikos;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 22, NÚMERO: 2