S. Babenyshev
AuthID: R-006-DM2
1
TÃTULO: Behavioral equivalence of hidden k-logics: An abstract algebraic approach Full Text
AUTORES: Sergey Babenyshev; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF APPLIED LOGIC, VOLUME: 16
AUTORES: Sergey Babenyshev; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF APPLIED LOGIC, VOLUME: 16
2
TÃTULO: Deduction-detachment theorem in hidden k-logics
AUTORES: Sergey Babenyshev; Manuel A Martins ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 1
AUTORES: Sergey Babenyshev; Manuel A Martins ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 1
3
TÃTULO: Admissible equivalence systems
AUTORES: Babenyshev, S; Martins, MA ;
PUBLICAÇÃO: 2010, FONTE: Bulletin of the Section of Logic, VOLUME: 39, NÚMERO: 1-2
AUTORES: Babenyshev, S; Martins, MA ;
PUBLICAÇÃO: 2010, FONTE: Bulletin of the Section of Logic, VOLUME: 39, NÚMERO: 1-2
INDEXADO EM: 
Scopus
Scopus