Andreia Mordido
AuthID: R-00M-0C7
1
TITLE: An equation-based classical logic
AUTHORS: Mordido, A; Caleiro, C;
PUBLISHED: 2015, SOURCE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
AUTHORS: Mordido, A; Caleiro, C;
PUBLISHED: 2015, SOURCE: 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9160
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID