BibSonomy

The blue social bookmark and publication sharing system.

( en | de | ru )

 

user
  • tag
  • user
  • group
  • author
  • concept
  • BibTeX key
  • search
@leonardo
  • sign in
  • register
  • groups
  • genealogy
  • popular 
    • posts
    • tags
    • authors
    • concepts
    • discussions
  • sign in
  • register

Login

Log in with your username.

@

I've lost my password.


Log in with your OpenID-Provider.

  • Other OpenID-Provider
  1. user
  2. @leonardo
  3. finite_model

Publication title

bookmarks  (hide)
  • display
  • all
  • bookmarks only
  • bookmarks per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • RSS
  • BibTeX
  • XML

    No matching posts.
  • ⟨⟨
  • ⟨
  • ⟩
  • ⟩⟩

publications  (hide)2  
  • display
  • all
  • publications only
  • publications per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • sort by
  • added at
  • title
  • author
  • publication date
  • entry type
  • help for advanced sorting...
  • RSS
  • BibTeX
  • RDF
  • more...

  •  

     
    3Elements of Finite Model Theory
     

    L. Libkin. Springer, (August 2004)
    17 years ago by @leonardo
    show all tags
    • 2004
    • _book
    • finite_model
     
      2004_bookfinite_model
      (0)
      copydeleteadd this publication to your clipboard
      • community post
      • history of this post
      • URL
      • DOI
      • BibTeX
      • EndNote
      • APA
      • Chicago
      • DIN 1505
      • Harvard
      • MSOffice XML
       
       
    •  

       
      1Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
       

      E. Grädel, P. Kolaitis, L. Libkin, M. Marx, J. Spencer, M. Vardi, Y. Venema, and S. Weinstein. Springer, (June 2007)
      17 years ago by @leonardo
      show all tags
      • _to_download_springer
      • 2007
      • _book
      • finite_model
      • nopdf
       
        _to_download_springer2007_bookfinite_modelnopdf
        (0)
        copydeleteadd this publication to your clipboard
        • community post
        • history of this post
        • URL
        • DOI
        • BibTeX
        • EndNote
        • APA
        • Chicago
        • DIN 1505
        • Harvard
        • MSOffice XML
         
         
      • ⟨⟨
      • ⟨
      • 1
      • ⟩
      • ⟩⟩

      browse

      • finite_model as tag from all users

      related tags

      • + | _book
      • + | _to_download_springer
      • + | 2007
      • + | nopdf
      • + | 2004

      concepts

      • 1980s ←
        • 1980
        • 1981
        • 1982
        • 1983
        • 1984
        • 1985
        • 1986
        • 1987
        • 1988
        • 1989
      • 1990s ←
        • 1990
        • 1991
        • 1992
        • 1993
        • 1994
        • 1995
        • 1996
        • 1997
        • 1998
        • 1999
      • 2000s ←
        • 2000
        • 2001
        • 2002
        • 2003
        • 2004
        • 2005
        • 2006
        • 2007
        • 2008
        • 2009
      • to_download ←
        • _to_download
        • _to_download_acm
        • _to_download_citeseer
        • _to_download_elsevier
        • _to_download_ieee
        • _to_download_springer
        • _to_download_wiley

      tags

      • statecharts
      • uml
      • 2008
      • refinement
      • 2007
      • 2006
      • semantics
      • \_pdf
      • 2005
      • _hardcopy
      • 2004
      • _to_download_springer
      • model_checking
      • 2003
      • 2002
      • _marcia
      • _no_doi
      • csp
      • 2001
      • model_transformation
      • graph_transformation
      • 2000
      • refactoring
      • tests
      • alloy
      • 2009
      • 1999
      • 1998
      • \_hardcopy
      • requirements
      • z
      • verification
      • 1997
      • software_architecture
      • aspects
      • _book
      • formal
      • agents
      • _to_download
      • 1995
      • ocl
      • b
      • umlrt
      • operational
      • transformation
      • 1996
      • _folder_2
      • tool
      • writing
      • bibtex-import
      What is BibSonomy?
      Getting Started
      Browser Buttons
      Help
      Developer
      Overview
      API Documentation
      Contact & Privacy
      Contact
      Privacy & Terms of Use
      Cookies
      Report Issues
      BibSonomy Wiki
      Integration
      PUMA
      TYPO3 Extension
      WordPress Plugin
      Java REST Client
      Supported Sites
      more
      About BibSonomy
      Team
      Blog
      Mailing List
      Social Media
       Follow us on Twitter

      BibSonomy is offered by the Data Science Chair of the University of Würzburg, the Information Processing and Analytics Group of the Humboldt-Unversität zu Berlin, the KDE Group of the University of Kassel, and the L3S Research Center.