The classical decision problem / Egon Borger, Erich Gradel, Yuri Gurevich

Auteur principal : Borger, Egon, 1946-, AuteurCo-auteur : Gradel, Erich, 1958-, Auteur • Gurevich, Yuri, AuteurType de document : MonographieCollection : Perspectives in mathematical logicLangue : anglais.Pays: Allemagne.Éditeur : Berlin : Springer, 1997Description : 1 vol. (XII-492 p.) : ill. ; 24 cmISBN: 9783540570738.ISSN: 0172-6641.Bibliographie : Bibliogr. pp. 421-476. Index.Sujet MSC : 03B25, General logic, Decidability of theories and sets of sentences
03B10, General logic, Classical first-order logic
03D15, Computability and recursion theory, Complexity of computation (including implicit computational complexity)
03D35, Computability and recursion theory, Undecidability and degrees of sets of sentences
68Q25, Computer science - Theory of computing, Analysis of algorithms and problem complexity
Item type: Monographie
Current library Call number Status Date due Barcode
Salle 1
03 BOR (Browse shelf(Opens below)) Available 12036-01

Bibliogr. pp. 421-476. Index

There are no comments on this title.

to post a comment.