Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("ADDITION REELLE")

Results 1 to 6 of 6

  • Page / 1
Export

Selection :

  • and

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

  • Page / 1