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
101
TITLE: Two applications of monoid actions to cross-sections Full Text
AUTHORS: Tara Brough ; Alan J Cain ; Victor Maltcev;
PUBLISHED: 2020, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 48, ISSUE: 5, PAGES: 1894-1903
AUTHORS: Tara Brough ; Alan J Cain ; Victor Maltcev;
PUBLISHED: 2020, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 48, ISSUE: 5, PAGES: 1894-1903
INDEXED IN: 
Scopus 
WOS
Scopus WOS102
TITLE: “Sehr geehrter Herr Professor!" Proof Theory in 1949 in a Letter from Schütte to Bernays
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: The Legacy of Kurt Schütte, PAGES: 3-19
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2020, SOURCE: The Legacy of Kurt Schütte, PAGES: 3-19
103
TITLE: A Note on a Unifying Proof of the Undecidability of Several Diagrammatic Properties of Term Rewriting Systems PDF
AUTHORS: António Malheiro ; Paulo Guilherme Santos ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.09254
AUTHORS: António Malheiro ; Paulo Guilherme Santos ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1910.09254
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv104
TITLE: A NOTE ON GROTHENDIECK'S STANDARD CONJECTURES OF TYPE C+ AND D IN POSITIVE CHARACTERISTIC Full Text
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 147, ISSUE: 12, PAGES: 5039-5054
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 147, ISSUE: 12, PAGES: 5039-5054
INDEXED IN: Scopus WOS
Scopus WOS105
TITLE: Abelian antipowers in infinite words Full Text
AUTHORS: Gabriele Fici; Mickael Postic; Manuel Silva ;
PUBLISHED: 2019, SOURCE: ADVANCES IN APPLIED MATHEMATICS, VOLUME: 108, PAGES: 67-78
AUTHORS: Gabriele Fici; Mickael Postic; Manuel Silva ;
PUBLISHED: 2019, SOURCE: ADVANCES IN APPLIED MATHEMATICS, VOLUME: 108, PAGES: 67-78
106
TITLE: Artificial Horizon Sextant from Gago Coutinho: Maritime origins from Air Navigation
AUTHORS: Antonio Costa Canas; Magda Ramires Marabujo; Teresa Sousa ;
PUBLISHED: 2019, SOURCE: NAVIGATOR-SUBSIDIOS PARA A HISTORIA MARITIMA DO BRASIL, VOLUME: 15, ISSUE: 30, PAGES: 141-147
AUTHORS: Antonio Costa Canas; Magda Ramires Marabujo; Teresa Sousa ;
PUBLISHED: 2019, SOURCE: NAVIGATOR-SUBSIDIOS PARA A HISTORIA MARITIMA DO BRASIL, VOLUME: 15, ISSUE: 30, PAGES: 141-147
INDEXED IN: WOS
WOS107
TITLE: Combinatorics of cyclic shifts in plactic, hypoplactic, sylvester, Baxter, and related monoids Full Text
AUTHORS: Alan J Cain ; António Malheiro ;
PUBLISHED: 2019, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 535, PAGES: 159-224
AUTHORS: Alan J Cain ; António Malheiro ;
PUBLISHED: 2019, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 535, PAGES: 159-224
108
TITLE: Combinatorics of patience sorting monoids Full Text
AUTHORS: Alan J Cain ; António Malheiro ; Fabio M Silva;
PUBLISHED: 2019, SOURCE: DISCRETE MATHEMATICS, VOLUME: 342, ISSUE: 9, PAGES: 2590-2611
AUTHORS: Alan J Cain ; António Malheiro ; Fabio M Silva;
PUBLISHED: 2019, SOURCE: DISCRETE MATHEMATICS, VOLUME: 342, ISSUE: 9, PAGES: 2590-2611
109
TITLE: Conjugacy in inverse semigroups Full Text
AUTHORS: Joao Araujo ; Michael Kinyon ; Janusz Konieczny;
PUBLISHED: 2019, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 533, PAGES: 142-173
AUTHORS: Joao Araujo ; Michael Kinyon ; Janusz Konieczny;
PUBLISHED: 2019, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 533, PAGES: 142-173
INDEXED IN: Scopus WOS
Scopus WOS110
TITLE: Context-free word problem semigroups
AUTHORS: Tara Brough ; Cain, AJ ; Pfeiffer, M;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Developments in Language Theory, DLT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11647 LNCS, PAGES: 292-305
AUTHORS: Tara Brough ; Cain, AJ ; Pfeiffer, M;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Developments in Language Theory, DLT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11647 LNCS, PAGES: 292-305
INDEXED IN: Scopus
Scopus111
TITLE: Crystal monoids & crystal bases: Rewriting systems and biautomatic structures for plactic monoids of types A(n), B-n, C-n, D-n, and G(2)
AUTHORS: Alan J Cain ; Robert D Gray ; António Malheiro ;
PUBLISHED: 2019, SOURCE: JOURNAL OF COMBINATORIAL THEORY SERIES A, VOLUME: 162, PAGES: 406-466
AUTHORS: Alan J Cain ; Robert D Gray ; António Malheiro ;
PUBLISHED: 2019, SOURCE: JOURNAL OF COMBINATORIAL THEORY SERIES A, VOLUME: 162, PAGES: 406-466
112
TITLE: Diagonalizable matrices whose graph is a tree: the minimum number of distinct eigenvalues and the feasibility of eigenvalue assignments
AUTHORS: Carlos M Saiago ;
PUBLISHED: 2019, SOURCE: SPECIAL MATRICES, VOLUME: 7, ISSUE: 1, PAGES: 316-326
AUTHORS: Carlos M Saiago ;
PUBLISHED: 2019, SOURCE: SPECIAL MATRICES, VOLUME: 7, ISSUE: 1, PAGES: 316-326
INDEXED IN: WOS
WOS113
TITLE: Discrete formulation for the dynamics of rods deforming in space
AUTHORS: Ana Casimiro ; Cesar Rodrigo;
PUBLISHED: 2019, SOURCE: JOURNAL OF MATHEMATICAL PHYSICS, VOLUME: 60, ISSUE: 9, PAGES: 092901
AUTHORS: Ana Casimiro ; Cesar Rodrigo;
PUBLISHED: 2019, SOURCE: JOURNAL OF MATHEMATICAL PHYSICS, VOLUME: 60, ISSUE: 9, PAGES: 092901
114
TITLE: Discussing Hilbert's 24th problem
AUTHORS: Ines Hipolito; Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, ISSUE: 2140, PAGES: 20180040
AUTHORS: Ines Hipolito; Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, ISSUE: 2140, PAGES: 20180040
115
TITLE: Dual Axiomatics
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: Mario Bunge: A Centenary Festschrift, PAGES: 633-642
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: Mario Bunge: A Centenary Festschrift, PAGES: 633-642
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef116
TITLE: Endomorphisms of semigroups of order-preserving partial transformations Full Text
AUTHORS: Vítor H. Fernandes ; Paulo G Santos ;
PUBLISHED: 2019, SOURCE: SEMIGROUP FORUM, VOLUME: 99, ISSUE: 2, PAGES: 333-344
AUTHORS: Vítor H. Fernandes ; Paulo G Santos ;
PUBLISHED: 2019, SOURCE: SEMIGROUP FORUM, VOLUME: 99, ISSUE: 2, PAGES: 333-344
117
TITLE: Feynman quadrics-motive of the massive sunset graph
AUTHORS: Matilde Marcolli; Goncalo Tabuada ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NUMBER THEORY, VOLUME: 195, PAGES: 159-183
AUTHORS: Matilde Marcolli; Goncalo Tabuada ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NUMBER THEORY, VOLUME: 195, PAGES: 159-183
INDEXED IN: Scopus WOS
Scopus WOS118
TITLE: HILBERT-BERNAYS SUMMER SCHOOL on LOGIC and COMPUTATION 2018: CO-SPONSORED by the ASSOCIATION for SYMBOLIC LOGIC
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: Bulletin of Symbolic Logic, VOLUME: 25, ISSUE: 3, PAGES: 414
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2019, SOURCE: Bulletin of Symbolic Logic, VOLUME: 25, ISSUE: 3, PAGES: 414
INDEXED IN: Scopus CrossRef
Scopus CrossRef119
TITLE: Identification of proofs via syzygies
AUTHORS: António Malheiro ; Jose Francisco Reis ;
PUBLISHED: 2019, SOURCE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, ISSUE: 2140, PAGES: 20180275
AUTHORS: António Malheiro ; Jose Francisco Reis ;
PUBLISHED: 2019, SOURCE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, ISSUE: 2140, PAGES: 20180275
120
TITLE: INTEGRALS OF GROUPS Full Text
AUTHORS: Joao Araujo ; Peter J Cameron; Carlo Casolo; Francesco Matucci;
PUBLISHED: 2019, SOURCE: ISRAEL JOURNAL OF MATHEMATICS, VOLUME: 234, ISSUE: 1, PAGES: 149-178
AUTHORS: Joao Araujo ; Peter J Cameron; Carlo Casolo; Francesco Matucci;
PUBLISHED: 2019, SOURCE: ISRAEL JOURNAL OF MATHEMATICS, VOLUME: 234, ISSUE: 1, PAGES: 149-178
INDEXED IN: Scopus WOS
Scopus WOS