Normal view MARC view ISBD view

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, Theory of computing, Analysis of algorithms and problem complexity
Current location Call number Status Date due Barcode
CMI
Salle R
03 BOR (Browse shelf) Available 12036-01

Bibliogr. pp. 421-476. Index

There are no comments for this item.

Log in to your account to post a comment.