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
241
TITLE: Gentzen's Centenary. The Quest for Consistency
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
AUTHORS: Reinhard Kahle ; Michael Rathjen;
PUBLISHED: 2015
INDEXED IN: 
Openlibrary
Openlibrary242
TITLE: Gentzen’s centenary: The quest for consistency
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency, PAGES: 1-561
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency, PAGES: 1-561
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef243
TITLE: Gentzen’s consistency proof in context
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency, PAGES: 3-24
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency, PAGES: 3-24
244
TITLE: Minimum H-Decompositions of Graphs and Its Ramsey Version: A Survey
AUTHORS: Teresa Sousa ;
PUBLISHED: 2015, SOURCE: International Conference and Advanced School Planet Earth, Dynamics, Games and Science II (DGS II) in Dynamics, Games and Science, PAGES: 735-747
AUTHORS: Teresa Sousa ;
PUBLISHED: 2015, SOURCE: International Conference and Advanced School Planet Earth, Dynamics, Games and Science II (DGS II) in Dynamics, Games and Science, PAGES: 735-747
INDEXED IN: 
WOS CrossRef
WOS CrossRef245
TITLE: Monochromatic Clique Decompositions of Graphs. MONOCHROMATIC CLIQUE DECOMPOSITIONS OF GRAPHS Full Text
AUTHORS: Henry Liu; Oleg Pikhurko; Teresa Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF GRAPH THEORY, VOLUME: 80, ISSUE: 4, PAGES: 287-298
AUTHORS: Henry Liu; Oleg Pikhurko; Teresa Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF GRAPH THEORY, VOLUME: 80, ISSUE: 4, PAGES: 287-298
246
TITLE: NONCOMMUTATIVE MOTIVES OF AZUMAYA ALGEBRAS
AUTHORS: Goncalo Tabuada ; Michel van den Bergh;
PUBLISHED: 2015, SOURCE: JOURNAL OF THE INSTITUTE OF MATHEMATICS OF JUSSIEU, VOLUME: 14, ISSUE: 2, PAGES: 379-403
AUTHORS: Goncalo Tabuada ; Michel van den Bergh;
PUBLISHED: 2015, SOURCE: JOURNAL OF THE INSTITUTE OF MATHEMATICS OF JUSSIEU, VOLUME: 14, ISSUE: 2, PAGES: 379-403
247
TITLE: Nonstandardness and the bounded functional interpretation Full Text
AUTHORS: Ferreira, F; Gaspar, J ;
PUBLISHED: 2015, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, ISSUE: 6, PAGES: 701-712
AUTHORS: Ferreira, F; Gaspar, J ;
PUBLISHED: 2015, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, ISSUE: 6, PAGES: 701-712
248
TITLE: Partial transformation monoids preserving a uniform partition Full Text
AUTHORS: Serena Cicalo; Vítor H. Fernandes ; Csaba Schneider;
PUBLISHED: 2015, SOURCE: SEMIGROUP FORUM, VOLUME: 90, ISSUE: 2, PAGES: 532-544
AUTHORS: Serena Cicalo; Vítor H. Fernandes ; Csaba Schneider;
PUBLISHED: 2015, SOURCE: SEMIGROUP FORUM, VOLUME: 90, ISSUE: 2, PAGES: 532-544
249
TITLE: Preface
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency
AUTHORS: Reinhard Kahle ; Rathjen, M;
PUBLISHED: 2015, SOURCE: Gentzen's Centenary: The Quest for Consistency
INDEXED IN: Scopus
Scopus250
TITLE: Relations between the Chow motive and the noncommutative motive of a smooth projective variety Full Text
AUTHORS: Marcello Bernardara; Concalo Tabuada ;
PUBLISHED: 2015, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 219, ISSUE: 11, PAGES: 5068-5077
AUTHORS: Marcello Bernardara; Concalo Tabuada ;
PUBLISHED: 2015, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 219, ISSUE: 11, PAGES: 5068-5077
251
TITLE: Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids Full Text
AUTHORS: Alan J Cain ; Robert D Gray; António Malheiro ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 25, ISSUE: 1-2, PAGES: 51-80
AUTHORS: Alan J Cain ; Robert D Gray; António Malheiro ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 25, ISSUE: 1-2, PAGES: 51-80
252
TITLE: Sets, Truth, and Recursion
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: Unifying Philosophy Truth in Unifying the Philosophy of Truth, VOLUME: 36, PAGES: 143-152
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: Unifying Philosophy Truth in Unifying the Philosophy of Truth, VOLUME: 36, PAGES: 143-152
253
TITLE: Syntax versus Semantics PDF
AUTHORS: Reinhard Kahle ; Wilfried Keller;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1507.04678
AUTHORS: Reinhard Kahle ; Wilfried Keller;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1507.04678
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv254
TITLE: The commuting graph of the symmetric inverse semigroup Full Text
AUTHORS: Joao Araujo ; Wolfram Bentz ; Janusz Konieczny;
PUBLISHED: 2015, SOURCE: ISRAEL JOURNAL OF MATHEMATICS, VOLUME: 207, ISSUE: 1, PAGES: 103-149
AUTHORS: Joao Araujo ; Wolfram Bentz ; Janusz Konieczny;
PUBLISHED: 2015, SOURCE: ISRAEL JOURNAL OF MATHEMATICS, VOLUME: 207, ISSUE: 1, PAGES: 103-149
255
TITLE: The maximum multiplicity and the two largest multiplicities of eigenvalues in a Hermitian matrix whose graph is a tree
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2015, SOURCE: Special Matrices, VOLUME: 3, ISSUE: 1, PAGES: 1-17
AUTHORS: Fernandes, Rosario ;
PUBLISHED: 2015, SOURCE: Special Matrices, VOLUME: 3, ISSUE: 1, PAGES: 1-17
INDEXED IN: Scopus CrossRef
Scopus CrossRef256
TITLE: The rank of the semigroup of transformations stabilising a partition of a finite set
AUTHORS: Joao Araujo ; Wolfram Bentz ; James D Mitchell; Csaba Schneider;
PUBLISHED: 2015, SOURCE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 159, ISSUE: 2, PAGES: 339-353
AUTHORS: Joao Araujo ; Wolfram Bentz ; James D Mitchell; Csaba Schneider;
PUBLISHED: 2015, SOURCE: MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, VOLUME: 159, ISSUE: 2, PAGES: 339-353
257
TITLE: THE RANKS OF IDEALS IN VARIOUS TRANSFORMATION MONOIDS Full Text
AUTHORS: Ping Zhao; Vítor H. Fernandes ;
PUBLISHED: 2015, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 43, ISSUE: 2, PAGES: 674-692
AUTHORS: Ping Zhao; Vítor H. Fernandes ;
PUBLISHED: 2015, SOURCE: COMMUNICATIONS IN ALGEBRA, VOLUME: 43, ISSUE: 2, PAGES: 674-692
258
TITLE: Unconditional noncommutative motivic Galois groups
AUTHORS: Marcolli, M; Tabuada, G ;
PUBLISHED: 2015, SOURCE: Conference on Hodge Theory and Classical Algebraic Geometry in HODGE THEORY AND CLASSICAL ALGEBRAIC GEOMETRY, VOLUME: 647, PAGES: 109-115
AUTHORS: Marcolli, M; Tabuada, G ;
PUBLISHED: 2015, SOURCE: Conference on Hodge Theory and Classical Algebraic Geometry in HODGE THEORY AND CLASSICAL ALGEBRAIC GEOMETRY, VOLUME: 647, PAGES: 109-115
259
TITLE: Weil restriction of noncommutative motives Full Text
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2015, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 430, PAGES: 119-152
AUTHORS: Goncalo Tabuada ;
PUBLISHED: 2015, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 430, PAGES: 119-152
260
TITLE: What is a Proof? Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: AXIOMATHES, VOLUME: 25, ISSUE: 1, PAGES: 79-91
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2015, SOURCE: AXIOMATHES, VOLUME: 25, ISSUE: 1, PAGES: 79-91
INDEXED IN: Scopus WOS
Scopus WOS