Francisco Manuel Gonçalves Coelho
AuthID: R-000-5D6
1
TÃTULO: Elements for Weighted Answer-Set Programming
AUTORES: Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu;
PUBLICAÇÃO: 2025, FONTE: 14th Symposium on Languages, Applications and Technologies, SLATE 2025 in 14th Symposium on Languages, Applications and Technologies, SLATE 2025, June 26-27, 2025, Faro, Portugal, VOLUME: 135
AUTORES: Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu;
PUBLICAÇÃO: 2025, FONTE: 14th Symposium on Languages, Applications and Technologies, SLATE 2025 in 14th Symposium on Languages, Applications and Technologies, SLATE 2025, June 26-27, 2025, Faro, Portugal, VOLUME: 135
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP2
TÃTULO: On lattices from combinatorial game theory: infinite case Full Text
AUTORES: Carvalho, A ; Santos, CP ; Dias, C; Coelho, F; Neto, JP ; Nowakowski, RJ; Vinagre, S;
PUBLICAÇÃO: 2021, FONTE: INTERNATIONAL JOURNAL OF GAME THEORY, VOLUME: 50, NÚMERO: 3
AUTORES: Carvalho, A ; Santos, CP ; Dias, C; Coelho, F; Neto, JP ; Nowakowski, RJ; Vinagre, S;
PUBLICAÇÃO: 2021, FONTE: INTERNATIONAL JOURNAL OF GAME THEORY, VOLUME: 50, NÚMERO: 3
3
TÃTULO: Atas das Oitavas Jornadas de Informática da Universidade de Évora
AUTORES: Carlos P Caldeira; Francisco Coelho;
PUBLICAÇÃO: 2018
AUTORES: Carlos P Caldeira; Francisco Coelho;
PUBLICAÇÃO: 2018
5
TÃTULO: Introdução à Matemática - Álgebra, Análise e Otimização
AUTORES: Luís Bandeira; Francisco Coelho; Nuno Franco;
PUBLICAÇÃO: 2016
AUTORES: Luís Bandeira; Francisco Coelho; Nuno Franco;
PUBLICAÇÃO: 2016
6
TÃTULO: Probabilistic Perception Revision in AGENTSPEAK(L)
AUTORES: Coelho, F; Nogueira, V ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) in PRIMA 2015: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, VOLUME: 9387
AUTORES: Coelho, F; Nogueira, V ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) in PRIMA 2015: PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS, VOLUME: 9387
7
TÃTULO: On lattices from combinatorial game theory modularity and a representation theorem: Finite case Full Text
AUTORES: Carvalho, A; dos Santos, CP ; Dias, C; Coelho, F; Neto, JP; Nowakowski, R; Vinagre, S;
PUBLICAÇÃO: 2014, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 527
AUTORES: Carvalho, A; dos Santos, CP ; Dias, C; Coelho, F; Neto, JP; Nowakowski, R; Vinagre, S;
PUBLICAÇÃO: 2014, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 527
8
TÃTULO: A Recursive Process Related to a Partizan Variation of Wythoff Full Text
AUTORES: Alda Carvalho ; Carlos P Santos ; Cátia Lente Dias; Francisco Coelho; João Pedro Neto ; Sandra Vinagre;
PUBLICAÇÃO: 2012, FONTE: Integers, VOLUME: 12, NÚMERO: 5
AUTORES: Alda Carvalho ; Carlos P Santos ; Cátia Lente Dias; Francisco Coelho; João Pedro Neto ; Sandra Vinagre;
PUBLICAÇÃO: 2012, FONTE: Integers, VOLUME: 12, NÚMERO: 5
9
TÃTULO: Teoria da computação, computabilidade e complexidade
AUTORES: Francisco Coelho; João P Neto;
PUBLICAÇÃO: 2010
AUTORES: Francisco Coelho; João P Neto;
PUBLICAÇÃO: 2010
10
TÃTULO: The euclid abstract machine: Trisection of the angle and the halting problem
AUTORES: Francisco Coelho; José F Costa; Jerzy Mycka;
PUBLICAÇÃO: 2006
AUTORES: Francisco Coelho; José F Costa; Jerzy Mycka;
PUBLICAÇÃO: 2006
