NOVA Math

Home NOVA Math

NOVA Math

Subsemigroups of groups: Presentations, Malcev presentations, and automatic structures

2006, Journal of Group Theory, Cain,AJ;Robertson,EF;Ruskuc,N

Read More

Cancellativity is undecidable for automatic semigroups

2006, Quarterly Journal of Mathematics, Cain,AJ

Read More

A group-embeddable non-automatic semigroup whose universal group is automatic

2006, Glasgow Mathematical Journal, Cain,AJ

Read More

Towards an implicit characterization of NC(k)

2006, COMPUTER SCIENCE LOGIC, PROCEEDINGS, Bonfante,G;Kahle,R;Marion,JY;Oitavem,I

Read More

A proof-theoretic view of necessity

2006, SYNTHESE, Kahle,R

Read More

Introduction: Proof-theoretic semantics

2006, SYNTHESE, Kahle,R;Schroeder Heister,P

Read More

Decomposable critical tensors

2006, LINEAR ALGEBRA AND ITS APPLICATIONS, da Silva,JAD;Rodrigues,F

Read More

Finite derivation type for Rees matrix semigroups

2006, THEORETICAL COMPUTER SCIENCE, Malheiro,A

Read More

Matrices and linear recurrences in finite fields

2006, FIBONACCI QUARTERLY, Brison,OJ;Nogueira,JE

Read More

Relative Abelian kernels of some classes of transformation monoids

2006, BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, Cordeiro,E;Delgado,M;Fernandes,VH

Read More