Tag: Algebra and Logic

NOVA Math > NOVA Math >

Introduction: Proof-theoretic semantics

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

Read More

A proof-theoretic view of necessity

2006, SYNTHESE, Kahle,R

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 group-embeddable non-automatic semigroup whose universal group is automatic

2006, Glasgow Mathematical Journal, Cain,AJ

Read More

Cancellativity is undecidable for automatic semigroups

2006, Quarterly Journal of Mathematics, Cain,AJ

Read More

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

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

Read More

The trees for which maximum multiplicity implies the simplicity of other eigenvalues

2006, DISCRETE MATHEMATICS, Johnson,CR;Saiago,CM

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

Matrices and linear recurrences in finite fields

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

Read More

On the structure of Calabi-Yau categories with a cluster tilting subcategory

2007, Documenta Mathematica, Tabuada,G

Read More