Tag: 2000

NOVA Math > NOVA Math >

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

On the essential norm of the Cauchy singular integral operator in weighted rearrangement-invariant spaces

2000, INTEGRAL EQUATIONS AND OPERATOR THEORY, Karlovich,AY

Read More

Integrable systems, Huygens’ principle, and Dirac operators

2000, PROCEEDINGS OF THE WORKSHOP ON NONLINEARITY, INTEGRABILITY AND ALL THAT: TWENTY YEARS AFTER NEEDS '79, Chalub,FACC;Zubelli,JP

Read More

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