Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

NDJFL
1998

favoriteEmaildiscussreport

85views more NDJFL 1998»

Semi-Contraction: Axioms and Construction

13 years 4 months ago

Semi-Contraction: Axioms and Construction

Download dme.uma.pt

Eduardo L. Fermé, Ricardo Oscar Rodrí

Real-time Traffic

NDJFL 1998 |

claim paper

Related Content

» A Note on Transitive Sets without the Foundation Axiom

» Constructive Reals in Coq Axioms and Categoricity

» Kripke models for subtheories of CZF

» A Tour with Constructive Real Numbers

» Extending the system T0 of explicit mathematics the limit and Mahlo axioms

» Distance Semantics for RelevanceSensitive Belief Revision

» AutomataBased Axiom Pinpointing

» Latticevalued convergence spaces and regularity

» Arithmetic as a Theory Modulo

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	1998
Where	NDJFL
Authors	Eduardo L. Fermé, Ricardo Oscar Rodríguez

Comments (0)