Algebra and Logic (CMA-AL)
AuthID: I-000-B9X
Publications Count: 28
28 Team MembersFilters -> Year: 2019
21
TITLE: Questions, conjectures, and data about multiplicity lists for trees Full Text
AUTHORS: Shannon P Buckley; Joseph G Corliss; Charles R Johnson; Cristina Arauz Lombardia; Carlos M Saiago ;
PUBLISHED: 2016, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 511, PAGES: 72-109
AUTHORS: Shannon P Buckley; Joseph G Corliss; Charles R Johnson; Cristina Arauz Lombardia; Carlos M Saiago ;
PUBLISHED: 2016, SOURCE: LINEAR ALGEBRA AND ITS APPLICATIONS, VOLUME: 511, PAGES: 72-109
22
TITLE: The classification of partition homogeneous groups with applications to semigroup theory Full Text
AUTHORS: Jorge Andre ; Joao Araujo ; Peter J Cameron;
PUBLISHED: 2016, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 452, PAGES: 288-310
AUTHORS: Jorge Andre ; Joao Araujo ; Peter J Cameron;
PUBLISHED: 2016, SOURCE: JOURNAL OF ALGEBRA, VOLUME: 452, PAGES: 288-310
23
TITLE: Theory and Practice of Discrete Interacting Agents Models
AUTHORS: Adrian-Horia Dediu; Joana M. Matos ; Carlos Martín-Vide;
PUBLISHED: 2016, SOURCE: Emergent Computation - Emergence, Complexity and Computation, PAGES: 419-433
AUTHORS: Adrian-Horia Dediu; Joana M. Matos ; Carlos Martín-Vide;
PUBLISHED: 2016, SOURCE: Emergent Computation - Emergence, Complexity and Computation, PAGES: 419-433
INDEXED IN: CrossRef
24
TITLE: Topology of moduli spaces of free group representations in real reductive groups Full Text
AUTHORS: Casimiro, A ; Florentino, C; Lawton, S; Oliveira, André ;
PUBLISHED: 2016, SOURCE: FORUM MATHEMATICUM, VOLUME: 28, ISSUE: 2, PAGES: 275-294
AUTHORS: Casimiro, A ; Florentino, C; Lawton, S; Oliveira, André ;
PUBLISHED: 2016, SOURCE: FORUM MATHEMATICUM, VOLUME: 28, ISSUE: 2, PAGES: 275-294
25
TITLE: Towards a Proof-Theoretic Semantics of Equalities
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2016, SOURCE: Advances in Proof-Theoretic Semantics., VOLUME: 43, PAGES: 153-160
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2016, SOURCE: Advances in Proof-Theoretic Semantics., VOLUME: 43, PAGES: 153-160
INDEXED IN: DBLP
26
TITLE: Two function algebras defining functions in NCk boolean circuits Full Text
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2016, SOURCE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248, PAGES: 82-103
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2016, SOURCE: 4th Workshop on Developments in Implicit Computational Complexity in INFORMATION AND COMPUTATION, VOLUME: 248, PAGES: 82-103
27
TITLE: TWO GENERALIZATIONS OF HOMOGENEITY IN GROUPS WITH APPLICATIONS TO REGULAR SEMIGROUPS
AUTHORS: Joao Araujo ; Peter J Cameron;
PUBLISHED: 2016, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 368, ISSUE: 2, PAGES: 1159-1188
AUTHORS: Joao Araujo ; Peter J Cameron;
PUBLISHED: 2016, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 368, ISSUE: 2, PAGES: 1159-1188
28
TITLE: Uniqueness of axiomatic extensions of cut-free classical propositional logic Full Text
AUTHORS: Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5, PAGES: 708-718
AUTHORS: Mario Piazza; Gabriele Pulcini ;
PUBLISHED: 2016, SOURCE: Logic Journal of the IGPL, VOLUME: 24, ISSUE: 5, PAGES: 708-718