Algebra and Logic (CMA-AL)
Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.
As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:
- Investigadores associados à equipa da Instituição em cada ano.
- Origem das Publicações.
As publicações associadas à Instituição podem ter três origens:
- Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
- Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
- Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 546
23 Team MembersFilters -> Year: 2024
AUTHORS: Teresa Sousa ;
PUBLISHED: 2011, SOURCE: ELECTRONIC JOURNAL OF COMBINATORICS, VOLUME: 18, ISSUE: 1, PAGES: 1-10
AUTHORS: Denis Charles Cisinski; Goncalo Tabuada ;
PUBLISHED: 2011, SOURCE: COMPOSITIO MATHEMATICA, VOLUME: 147, ISSUE: 4, PAGES: 1281-1320
AUTHORS: Joao Araujo ; António Malheiro ;
PUBLISHED: 2011, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 39, ISSUE: 10, PAGES: 3866-3878
AUTHORS: Gray, R; António Malheiro ; Pride, SJ;
PUBLISHED: 2011, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 209, ISSUE: 7, PAGES: 1120-1134
AUTHORS: Vítor H. Fernandes ; Teresa M Quinteiro ;
PUBLISHED: 2011, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 39, ISSUE: 8, PAGES: 2798-2815
AUTHORS: Alfredo Costa ; Manuel Delgado ; Vítor H. Fernandes ;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 21, ISSUE: 7
AUTHORS: Jorge Andre ; Joao Araujo ; Janusz Konieczny;
PUBLISHED: 2011, SOURCE: SEMIGROUP FORUM, VOLUME: 82, ISSUE: 2, PAGES: 307-318
AUTHORS: Vítor H. Fernandes ; Gracinda M S Gomes ; Manuel M Jesus ;
PUBLISHED: 2011, SOURCE: BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, VOLUME: 34, ISSUE: 1, PAGES: 79-85
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2011, SOURCE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 4, ISSUE: 2, PAGES: 205-218
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2011, SOURCE: JOURNAL OF NONCOMMUTATIVE GEOMETRY, VOLUME: 5, ISSUE: 4, PAGES: 573-589
AUTHORS: Joao Araujo ; Mario Edmundo ; Steven Givant;
PUBLISHED: 2011, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 21, ISSUE: 7, PAGES: 1237-1257
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2010, SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., VOLUME: 47, PAGES: 44-56
AUTHORS: Reinhard Kahle ; Anton Setzer;
PUBLISHED: 2010, SOURCE: - Ways of Proof Theory
AUTHORS: Joao Araujo ; Edward Dobson; Janusz Konieczny;
PUBLISHED: 2010, SOURCE: MATHEMATISCHE NACHRICHTEN, VOLUME: 283, ISSUE: 7, PAGES: 939-964
AUTHORS: Joao Araujo ; William McCune;
PUBLISHED: 2010, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 38, ISSUE: 3, PAGES: 1104-1121
AUTHORS: Araujo, J ; Buenau, PV; Mitchell, JD; Neunhoeffer, M;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 45, ISSUE: 3, PAGES: 373-392
AUTHORS: Fernandes, Rosario ; Henrique F da Cruz ; Fatima Rodrigues ;
PUBLISHED: 2010, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 433, ISSUE: 1, PAGES: 297-317
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2010, SOURCE: TOPOLOGY AND ITS APPLICATIONS, VOLUME: 157, ISSUE: 3, PAGES: 563-593
AUTHORS: Vítor H. Fernandes ; Jesus, MM ; Maltcev, V; Mitchell, JD;
PUBLISHED: 2010, SOURCE: SEMIGROUP FORUM, VOLUME: 81, ISSUE: 2, PAGES: 277-285
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2010, SOURCE: ALGEBRAIC AND GEOMETRIC TOPOLOGY, VOLUME: 10, ISSUE: 1, PAGES: 137-213