Tag: 2000

NOVA Math > NOVA Math >

Abelian kernels of some monoids of injective partial transformations and an application

2000, SEMIGROUP FORUM, Delgado,M;Fernandes,VH

Read More

Subdirectly irreducible Ockham chains

2000, ALGEBRA UNIVERSALIS, Blyth,TS;Silva,HJ

Read More

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

2000, COMMUNICATIONS IN ALGEBRA, Fernandes,VH

Read More

Semigroups of linear endomorphisms closed under conjugation

2000, COMMUNICATIONS IN ALGEBRA, Araujo,J;Silva,FC

Read More

N-strictness in applicative theories

2000, ARCHIVE FOR MATHEMATICAL LOGIC, Kahle,R

Read More

Proof-theoretic notions for software maintenance

2000, First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, MFCSIT 2000, Cork, Ireland, July 20-21, 2000, Kahle,R

Read More

A Theory of Explicit Mathematics Equivalent to ID1

2000, Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, Kahle,R;Studer,T

Read More