UID:
edocfu_9959185648602883
Format:
1 online resource (XII, 244 p.)
Edition:
1st ed. 1979.
Edition:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-35197-3
Series Statement:
Lecture Notes in Mathematics, 718
Note:
Bibliographic Level Mode of Issuance: Monograph
,
and background -- Ehrenfeucht games and decision procedures -- Integer addition — An example of an Ehrenfeucht game decision procedure -- Some additional upper bounds -- Direct products of theories -- Lower bound preliminaries -- A technique for writing short formulas defining complicated properties -- A lower bound on the theories of pairing functions -- Some additional lower bounds.
,
English
In:
Springer eBooks
Additional Edition:
ISBN 3-540-09501-2
Language:
English
URL:
http://dx.doi.org/10.1007/BFb0062837
