Algebra and Logic Article Kahle,R AXIOMATHES 2015 25 1 79-91 10.1007/s10516-014-9252-9
Algebra and Logic Article Brough,T;Cain,AJ SEMIGROUP FORUM 2015 90 3 763-774 10.1007/s00233-014-9632-x
Algebra and Logic Article Bernardara,M;Tabuada,C JOURNAL OF PURE AND APPLIED ALGEBRA 2015 219 11 5068-5077 10.1016/j.jpaa.2015.05.002
Algebra and Logic Article Zhao,P;Fernandes,VH COMMUNICATIONS IN ALGEBRA 2015 43 2 674-692 10.1080/00927872.2013.847946
Algebra and Logic Article Cain,AJ;Maltcev,V SEMIGROUP FORUM 2015 90 1 184-188 10.1007/s00233-014-9607-y
Algebra and Logic Article Tabuada,G;van den Bergh,M JOURNAL OF THE INSTITUTE OF MATHEMATICS OF JUSSIEU 2015 14 2 379-403 10.1017/s147474801400005x
Algebra and Logic Book Chapter Kahle,R Advances in Proof-Theoretic Semantics. Trends in Logic 2016 43 153-160
Algebra and Logic Article Araujo,J;Cameron,PJ TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY 2016 368 2 1159-1188 10.1090/tran/6368
Algebra and Logic Article Tabuada,G COMPTES RENDUS MATHEMATIQUE 2016 354 5 449-452 10.1016/j.crma.2016.01.017
Algebra and Logic Article Blumberg,AJ;Gepner,D;Tabuada,G TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY 2016 368 2 1435-1465 10.1090/tran/6507