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, Computer science - 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.