Algebra and Logic (CMA-AL)

Centro de Matemática e Aplicações (CMA)

Publications Actions
Publicações no Perfil Institucional do Authenticus

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.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 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!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 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 Members
Filters -> Year: 2024
501
TITLE: A term rewriting characterization of the functions computable in polynomial space  Full Text
AUTHORS: Oitavem, I ;
PUBLISHED: 2002, SOURCE: Archive for Mathematical Logic, VOLUME: 41, ISSUE: 1, PAGES: 35-47
INDEXED IN: Scopus CrossRef: 6
502
TITLE: Estimation of the maximum multiplicity of an eigenvalue in terms of the vertex degrees of the graph of a matrix  Full Text
AUTHORS: Johnson, CR; Saiago, CM ;
PUBLISHED: 2002, SOURCE: Electronic Journal of Linear Algebra, VOLUME: 9, ISSUE: 1, PAGES: 27-31
INDEXED IN: Scopus CrossRef: 14
503
TITLE: Generators for the semigroup of endomorphisms of an independence algebra
AUTHORS: Araujo, J ;
PUBLISHED: 2002, SOURCE: ALGEBRA COLLOQUIUM, VOLUME: 9, ISSUE: 4, PAGES: 375-382
INDEXED IN: Scopus WOS
504
TITLE: Hilbert's paradox  Full Text
AUTHORS: Peckhaus, V; Reinhard Kahle ;
PUBLISHED: 2002, SOURCE: HISTORIA MATHEMATICA, VOLUME: 29, ISSUE: 2, PAGES: 157-175
INDEXED IN: Scopus WOS CrossRef: 15
505
TITLE: Mathematical proof theory in the light of ordinal analysis  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2002, SOURCE: Conference on Foundations of the Formal Sciences in SYNTHESE, VOLUME: 133, ISSUE: 1-2, PAGES: 237-255
INDEXED IN: Scopus WOS DBLP CrossRef
506
TITLE: Normal semigroups of endomorphisms of proper independence algebras are idempotent generated
AUTHORS: Araujo, J ;
PUBLISHED: 2002, SOURCE: PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, VOLUME: 45, ISSUE: 1, PAGES: 205-217
INDEXED IN: Scopus WOS
507
TITLE: On idempotent generated semigroups  Full Text
AUTHORS: Araujo, J ;
PUBLISHED: 2002, SOURCE: SEMIGROUP FORUM, VOLUME: 65, ISSUE: 1, PAGES: 138-140
INDEXED IN: Scopus WOS CrossRef: 2
508
TITLE: PRESENTATIONS FOR SOME MONOIDS OF PARTIAL TRANSFORMATIONS ON A FINITE CHAIN: A SURVEY
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2002, SOURCE: Semigroups, Algorithms, Automata and Languages
INDEXED IN: CrossRef: 20
509
TITLE: A division theorem for the pseudovariety generated by semigroups of orientation preserving transformations on a finite chain  Full Text
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2001, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 29, ISSUE: 1, PAGES: 451-456
INDEXED IN: Scopus WOS CrossRef: 4
510
TITLE: Formalizing non-termination of recursive programs  Full Text
AUTHORS: Reinhard Kahle ; Studer, T;
PUBLISHED: 2001, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 49, ISSUE: 1-2, PAGES: 1-14
INDEXED IN: Scopus WOS DBLP CrossRef: 3
511
TITLE: Implicit characterizations of Pspace
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
INDEXED IN: Scopus CrossRef: 3
512
TITLE: Ockham algebras arising from monoids
AUTHORS: Blyth, TS; Silva, HJ ; Varlet, JC;
PUBLISHED: 2001, SOURCE: ALGEBRA COLLOQUIUM, VOLUME: 8, ISSUE: 3, PAGES: 315-326
INDEXED IN: Scopus WOS
513
TITLE: On generators and relations for unions of semigroups  Full Text
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
INDEXED IN: Scopus WOS
514
TITLE: On the covering number of a matroid element  Full Text
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 337, ISSUE: 1-3, PAGES: 21-35
INDEXED IN: Scopus WOS CrossRef: 4
515
TITLE: On the kernel of the derivation operator  Full Text
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 337, ISSUE: 1-3, PAGES: 121-138
INDEXED IN: Scopus WOS CrossRef: 1
516
TITLE: Preface
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
INDEXED IN: Scopus
517
TITLE: Proof Theory in Computer Science
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 1
519
TITLE: The monoid of all injective order preserving partial transformations on a finite chain  Full Text
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2001, SOURCE: SEMIGROUP FORUM, VOLUME: 62, ISSUE: 2, PAGES: 178-204
INDEXED IN: Scopus WOS
520
TITLE: The rank partition and the covering number of the elements of the dual matroid
AUTHORS: da Silva, JAD; Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: ARS COMBINATORIA, VOLUME: 59, PAGES: 129-144
INDEXED IN: Scopus WOS

Results per Page: 20.
Página 26 de 28. Total de resultados: 546.