kw.\*:("ADDITION REELLE")
Results 1 to 6 of 6
Selection :
A DECISION PROCEDURE FOR THE FIRST ORDER THEORY OF REAL ADDITION WITH ORDER.FERRANTE J; RACKOFF C.1975; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1975; VOL. 4; NO 1; PP. 69-76; BIBL. 5 REF.Article
THE COMPLEXITY OF LOGICAL THEORIESBERMAN L.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 11; NO 1; PP. 71-77; BIBL. 9 REF.Article
ON TIME-SPACE CLASSES AND THEIR RELATION TO THE THEORY OF REAL ADDITIONBRUSS AR; MEYER AR.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 11; NO 1; PP. 59-69; BIBL. 19 REF.Article
On pairs of additive forms modulo oneSCHÄFFER, S.Mathematical proceedings of the Cambridge Philosophical Society. 1992, Vol 112, Num 3, pp 455-466, issn 0305-0041Article
Leibniz's calculus of real additionSWOYER, C.Studia leibnitiana. 1994, Vol 26, Num 1, pp 1-30, issn 0039-3185Article
Leibniz on intension and extensionSWOYER, C.Noûs (Bloomington, Indiana). 1995, Vol 29, Num 1, pp 96-114, issn 0029-4624Article