Algebra and Logic (CMA-AL)
AuthID: I-000-B9X
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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
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
AUTHORS: Oitavem, I ;
PUBLISHED: 2002, SOURCE: Archive for Mathematical Logic, VOLUME: 41, ISSUE: 1, PAGES: 35-47
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
AUTHORS: Johnson, CR; Saiago, CM ;
PUBLISHED: 2002, SOURCE: Electronic Journal of Linear Algebra, VOLUME: 9, ISSUE: 1, PAGES: 27-31
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
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
AUTHORS: Peckhaus, V; Reinhard Kahle ;
PUBLISHED: 2002, SOURCE: HISTORIA MATHEMATICA, VOLUME: 29, ISSUE: 2, PAGES: 157-175
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
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2002, SOURCE: Conference on Foundations of the Formal Sciences in SYNTHESE, VOLUME: 133, ISSUE: 1-2, PAGES: 237-255
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
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
AUTHORS: Araujo, J ;
PUBLISHED: 2002, SOURCE: SEMIGROUP FORUM, VOLUME: 65, ISSUE: 1, PAGES: 138-140
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
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2002, SOURCE: Semigroups, Algorithms, Automata and Languages
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
AUTHORS: Vítor H. Fernandes ;
PUBLISHED: 2001, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 29, ISSUE: 1, PAGES: 451-456
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
AUTHORS: Reinhard Kahle ; Studer, T;
PUBLISHED: 2001, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 49, ISSUE: 1-2, PAGES: 1-14
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
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
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
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
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
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 337, ISSUE: 1-3, PAGES: 21-35
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
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 337, ISSUE: 1-3, PAGES: 121-138
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
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
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
518
TITLE: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings
AUTHORS: Reinhard Kahle ; Peter Schroeder Heister; Robert F Stärk;
PUBLISHED: 2001, SOURCE: PTCS, VOLUME: 2183
AUTHORS: Reinhard Kahle ; Peter Schroeder Heister; Robert F Stärk;
PUBLISHED: 2001, SOURCE: PTCS, VOLUME: 2183
INDEXED IN: DBLP
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
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
AUTHORS: da Silva, JAD; Fernandes, Rosario ;
PUBLISHED: 2001, SOURCE: ARS COMBINATORIA, VOLUME: 59, PAGES: 129-144
INDEXED IN: Scopus WOS