A PVS Theory for Term Rewriting Systems - MAT-UnB
A PROPERTY OF SMALL GROUPS A connected group of Morley
a property of combinations in normal form
A program for the countable choice axiom
A Problem Course on Projective Planes
A Primer on Infinitary Logic
A primer on homotopy colimits
A Primer on Complex Numbers
A Primer on Complex Numbers
A primer of Hopf algebras
A practical Differential Power Analysis Attack against the Miller
A potential relation between the algebraic approach to calculus and
A polynomial time algorithm for the conjugacy
A Poisson point process
A Perplexing Finite Continued Fraction
A periodicity theorem in homological algebra
a pdf file
A particle is moving along the curve y=x√. As the particle passes
A parametrized Borsuk-Ulam theorem for a product of - Icmc-Usp
a p - CS.Duke
A Numerical Approach to Rewriteability in Finite Groups