1
TÍTULO: Behavioural reasoning for conditional equations
AUTORES: Manuel A Martins ; Don Pigozzi;
PUBLICAÇÃO: 2007, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 12