UID:
almahu_9947921488702882
Umfang:
XII, 244 p.
,
online resource.
ISBN:
9783540351979
Serie:
Lecture Notes in Mathematics, 718
Anmerkung:
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.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783540095019
Sprache:
Englisch
Fachgebiete:
Mathematik
URL:
http://dx.doi.org/10.1007/BFb0062837
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(Deutschlandweit zugänglich)
