Michael Codish
AuthID: R-00G-D8B
1
TÃTULO: Complete Symmetry Breaking for Finite Models
AUTORES: Marek Dančo; Mikoláš Janota; Michael Codish; João Jorge Araújo;
PUBLICAÇÃO: 2025, FONTE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 39, NÚMERO: 11
AUTORES: Marek Dančo; Mikoláš Janota; Michael Codish; João Jorge Araújo;
PUBLICAÇÃO: 2025, FONTE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 39, NÚMERO: 11
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
AUTORES: Michael Codish; Eijiro Sumii;
PUBLICAÇÃO: 2014, FONTE: FLOPS, VOLUME: 8475
AUTORES: Michael Codish; Eijiro Sumii;
PUBLICAÇÃO: 2014, FONTE: FLOPS, VOLUME: 8475
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: Functional and Logic Programming
AUTORES: Michael Codish; Eijiro Sumii;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science
AUTORES: Michael Codish; Eijiro Sumii;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
CrossRef
CrossRef