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: Oitavem, I ;
PUBLISHED: 2002, SOURCE: Archive for Mathematical Logic, VOLUME: 41, ISSUE: 1, PAGES: 35-47
AUTHORS: Johnson, CR; Saiago, CM ;
PUBLISHED: 2002, SOURCE: Electronic Journal of Linear Algebra, VOLUME: 9, ISSUE: 1, PAGES: 27-31
AUTHORS: Araujo, J ;
PUBLISHED: 2002, SOURCE: ALGEBRA COLLOQUIUM, VOLUME: 9, ISSUE: 4, PAGES: 375-382
AUTHORS: Peckhaus, V; Reinhard Kahle ;
PUBLISHED: 2002, SOURCE: HISTORIA MATHEMATICA, VOLUME: 29, ISSUE: 2, PAGES: 157-175
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2002, SOURCE: Conference on Foundations of the Formal Sciences in SYNTHESE, VOLUME: 133, ISSUE: 1-2, PAGES: 237-255
AUTHORS: Araujo, J ;
PUBLISHED: 2002, SOURCE: PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, VOLUME: 45, ISSUE: 1, PAGES: 205-217
AUTHORS: Araujo, J ;
PUBLISHED: 2002, SOURCE: SEMIGROUP FORUM, VOLUME: 65, ISSUE: 1, PAGES: 138-140
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2002, SOURCE: Semigroups, Algorithms, Automata and Languages
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2001, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 29, ISSUE: 1, PAGES: 451-456
AUTHORS: Reinhard Kahle ; Studer, T;
PUBLISHED: 2001, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 49, ISSUE: 1-2, PAGES: 1-14
AUTHORS: Oitavem, I ;
PUBLISHED: 2001, SOURCE: International Seminar on Proof Theory in Computer Science, PTCS 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2183, PAGES: 170-190
AUTHORS: Blyth, TS; Silva, HJ ; Varlet, JC;
PUBLISHED: 2001, SOURCE: ALGEBRA COLLOQUIUM, VOLUME: 8, ISSUE: 3, PAGES: 315-326
AUTHORS: Araujo, IM; Branco, MJJ ; Vítor H. Fernandes ; Gomes, GMS ; Ruskuc, N;
PUBLISHED: 2001, SOURCE: SEMIGROUP FORUM, VOLUME: 63, ISSUE: 1, PAGES: 49-62
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 337, ISSUE: 1-3, PAGES: 21-35
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 337, ISSUE: 1-3, PAGES: 121-138
AUTHORS: Reinhard Kahle ; Schroeder Heister, P; Stärk, R;
PUBLISHED: 2001, SOURCE: International Seminar on Proof Theory in Computer Science, PTCS 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2183
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
AUTHORS: Reinhard Kahle ; Peter Schroeder Heister; Robert F Stärk;
PUBLISHED: 2001, SOURCE: PTCS, VOLUME: 2183
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2001, SOURCE: SEMIGROUP FORUM, VOLUME: 62, ISSUE: 2, PAGES: 178-204
AUTHORS: da Silva, JAD; Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: ARS COMBINATORIA, VOLUME: 59, PAGES: 129-144