Graph structure and monadic second order logic A language theoretic approach
Material type: TextSeries: Encyclopedia of mathematics and its applications; 00138Publication details: New york ; Cambridge university press ; 2012Description: 728ISBN: 9780521898331Subject(s): Logic, Symbolic and mathematical - Graphic methods Engelfriet, JostCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 51(02) ENC (Browse shelf (Opens below)) | Available | 68225 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
51(02) ENC Combinatorics, Automata and Number Theory | 51(02) ENC Noncommutative rational series with applications | 51(02) ENC Codes and automata | 51(02) ENC Graph structure and monadic second order logic | 51(02) ENC Introduction to the network approximation method for materials modeling | 51(02) ENC Algorithmic aspects of graph connectivity | 51(02) ENCs Encyclopaedia of Mathematics; Suppl. Vols.1-3 |
There are no comments on this title.