Tag: Algebra and Logic

NOVA Math > NOVA Math >

Proof Theory in Computer Science

2001, Lecture Notes in Computer Science, Kahle,R;Schroeder-Heister,P;St√§rk,R

Read More

Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings

2001, PTCS, Kahle,R;Heister,PS;St√§rk,RF

Read More

On the covering number of a matroid element

2001, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R

Read More

On the kernel of the derivation operator

2001, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R

Read More

Ockham algebras arising from monoids

2001, ALGEBRA COLLOQUIUM, Blyth,TS;Silva,HJ;Varlet,JC

Read More

On generators and relations for unions of semigroups

2001, SEMIGROUP FORUM, Araujo,IM;Branco,MJJ;Fernandes,VH;Gomes,GMS;Ruskuc,N

Read More

The rank partition and the covering number of the elements of the dual matroid

2001, ARS COMBINATORIA, da Silva,JAD;Fernandes,R

Read More

The monoid of all injective order preserving partial transformations on a finite chain

2001, SEMIGROUP FORUM, Fernandes,VH

Read More

A division theorem for the pseudovariety generated by semigroups of orientation preserving transformations on a finite chain

2001, COMMUNICATIONS IN ALGEBRA, Fernandes,VH

Read More

Universes in explicit mathematics

2001, ANNALS OF PURE AND APPLIED LOGIC, Jager,G;Kahle,R;Studer,T

Read More