X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Finite and algorithmic model theory / (2011)
    Cambridge :Cambridge University Press,
    Details
    UID:
    almahu_9948233641802882
    Format: 1 online resource (xi, 341 pages) : , digital, PDF file(s).
    ISBN: 9780511974960 (ebook)
    Series Statement: London Mathematical Society lecture note series ; 379
    Content: Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , Preface / Javier Esparza, Christian Michaux and Charles Steinhorn -- Automata-based presentations of infinite structures / Vince Bárány, Erich Grädel and Sasha Rubin -- Logical aspects of spatial databases / Bart Kuijpers and Jan Van den Bussche -- Some connections between finite and infinite model theory / Vera Koponen -- Definability in classes of finite structures / Dugald Macpherson and Charles Steinhorn -- Algorithmic meta-theorems / Stephan Kreutzer -- Model theoretic methods for fragments of FO and special classes of (finite) structures / Martin Otto.
    Additional Edition: Print version: ISBN 9780521718202
    Language: English
    Keywords: Konferenzschrift
    URL: https://doi.org/10.1017/CBO9780511974960
    URL: Volltext
    URL: Inhaltstext
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    HU Berlin
    FU Berlin
    UB Potsdam
  • 2
    Book
    Book
    Une information sur les matrices de covariance : La liaison-information (1973)
    Details
    UID:
    gbv_430032072
    Format: 63 Bl. 4"
    Note: Grenoble, Diss., 1973
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 3
    Online Resource
    Online Resource
    Analysis and logic / (2002)
    Cambridge, U.K. ; : Cambridge University Press,
    Details
    UID:
    edocfu_9959242960002883
    Format: 1 online resource (xiv, 267 pages) : , digital, PDF file(s).
    ISBN: 1-139-88249-X , 1-107-10351-7 , 1-139-14603-3 , 0-511-06627-9 , 0-511-06840-9 , 1-107-09216-7 , 1-107-36000-5
    Series Statement: London Mathematical Society lecture note series ;
    Content: This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to integrate their articles and make them accessible to mathematicians new to the area.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , Ultraproducts in Analysis / , Actions of Polish Groups and Classification Problems / , On Subspaces, Asymptotic Structure, and Distortion of Banach Spaces; Connections with Logic / , English
    Additional Edition: ISBN 1-299-70717-3
    Additional Edition: ISBN 0-521-64861-0
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    FU Berlin
  • 4
    Online Resource
    Online Resource
    Analysis and logic / (2002)
    Cambridge :Cambridge University Press,
    Details
    UID:
    almahu_9948233757302882
    Format: 1 online resource (xiv, 267 pages) : , digital, PDF file(s).
    ISBN: 9781107360006 (ebook)
    Series Statement: London Mathematical Society lecture note series ; 262
    Content: This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to integrate their articles and make them accessible to mathematicians new to the area.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , Ultraproducts in Analysis / , Actions of Polish Groups and Classification Problems / , On Subspaces, Asymptotic Structure, and Distortion of Banach Spaces; Connections with Logic /
    Additional Edition: Print version: ISBN 9780521648615
    Language: English
    URL: https://doi.org/10.1017/CBO9781107360006
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
  • 5
    Online Resource
    Online Resource
    Analysis and logic (2002)
    Cambridge : Cambridge University Press
    Details
    UID:
    gbv_883346303
    Format: 1 Online-Ressource (xiv, 267 pages) , digital, PDF file(s).
    ISBN: 9781107360006
    Series Statement: London Mathematical Society lecture note series 262
    Content: This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to integrate their articles and make them accessible to mathematicians new to the area.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015) , Ultraproducts in Analysis , Actions of Polish Groups and Classification Problems , On Subspaces, Asymptotic Structure, and Distortion of Banach Spaces; Connections with Logic
    Additional Edition: ISBN 9780521648615
    Additional Edition: ISBN 9780521648615
    Additional Edition: ISBN 9780521648615
    Additional Edition: Erscheint auch als Analysis and logic Cambridge [u.a.] : Cambridge University Press, 2002 ISBN 9780521648615
    Additional Edition: ISBN 0521648610
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9780521648615
    Language: English
    Subjects: Mathematics
    RVK:
    SI 320
    Keywords: Analysis ; Mathematische Logik
    DOI: 10.1017/CBO9781107360006
    URL: Volltext
    URL: Inhaltstext
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages