1
2
TITLE: Identification of proofs via syzygies
AUTHORS: António Malheiro ; Jose Francisco Reis;
SOURCE: PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, VOLUME: 377, ISSUE: 2140, PUBLISHED: 2019
INDEXED IN: Scopus WOS CrossRef
3
TITLE: The monoids of the patience sorting algorithm
AUTHORS: Alan J Cain ; António Malheiro ; Fabio M Silva;
SOURCE: INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, VOLUME: 29, ISSUE: 1, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: Decidability and independence of conjugacy problems in finitely presented monoids  Full Text
AUTHORS: Joao Araujo ; Michael Kinyon ; Janusz Konieczny; António Malheiro ;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 731, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
6
TITLE: Identities in plactic, hypoplactic, sylvester, Baxter, and related monoids  Full Text
AUTHORS: Alan J Cain ; António Malheiro ;
SOURCE: ELECTRONIC JOURNAL OF COMBINATORICS, VOLUME: 25, ISSUE: 3, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP
7
TITLE: Combinatorics of Cyclic Shifts in Plactic, Hypoplactic, Sylvester, and Related Monoids
AUTHORS: Alan J Cain ; António Malheiro ;
SOURCE: 11th International Conference on Combinatorics on Words, WORDS 2017 in Combinatorics on Words - 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings, VOLUME: 10432, PUBLISHED: 2017
INDEXED IN: Scopus DBLP CrossRef
9
TITLE: Four notions of conjugacy for abstract semigroups
AUTHORS: Joao Araujo ; Michael Kinyon; Janusz Konieczny; António Malheiro ;
SOURCE: PROCEEDINGS OF THE ROYAL SOCIETY OF EDINBURGH SECTION A-MATHEMATICS, VOLUME: 147, ISSUE: 6, PUBLISHED: 2017
INDEXED IN: Scopus WOS CrossRef: 1
10
TITLE: On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids  Full Text
AUTHORS: Alan J Cain ; Robert D Gray; António Malheiro ;
SOURCE: INFORMATION AND COMPUTATION, VOLUME: 255, PUBLISHED: 2017
INDEXED IN: Scopus WOS DBLP CrossRef: 1
Page 1 of 3. Total results: 26.