de.mpg.escidoc.pubman.appbase.FacesBeande.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Search Results

363 Items found (descending sorted by Modification Date)
 
 
Previous1234567Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Created: 2017-04-28 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  2. Creators:
    Dates: Created: 2017-06-27 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  3. Creators:
    Dates: Created: 2017-06-28 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  4. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 20th International Conference on Foundations of S...
    Source Genre: Proceedings
    Source Title: Foundations of Software Science and Computation S...
    Volume / Issue: -
    Start / End Page: 461 - 479
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  5. Creators:
    Dates: Created: 2017-05-24 | Published Online: 2017  
    Genre: Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  6. Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Logic for Programming, Artificial Intelligence, a...
    Volume / Issue: -
    Start / End Page: 348 - 362
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  7. Creators:
    Dates: Modified: 2007-03-06 | Published in Print: 2006  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Automated Technology for Verification and Analysi...
    Volume / Issue: -
    Start / End Page: 276 - 291
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  8. ( )
    Labelled Clauses
    Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Automated Deduction - CADE-21 : 21st Internationa...
    Volume / Issue: -
    Start / End Page: 311 - 327
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  9. Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Annals of Mathematics and Artificial Intelligence
    Volume / Issue: 49 (1-4)
    Start / End Page: 221 - 252
    Sequence Number: -
    Source Publ. Info: -
  10. Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Frontiers of Combining Systems : 6th Internationa...
    Volume / Issue: -
    Start / End Page: 47 - 71
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  11. Creators:
    Dates: Modified: 2008-03-28 | Published in Print: 2007  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: ACM Transactions on Computational Logic
    Volume / Issue: 8 (2)
    Start / End Page: 12.1 - 12.28
    Sequence Number: -
    Source Publ. Info: -
  12. Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Proceedings of the 21th International Workshop on...
    Volume / Issue: -
    Start / End Page: 1 - 5
    Sequence Number: -
    Source Publ. Info: [s.l.] : INRIA
  13. Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Proceedings 
    Files: -
    Locators: -
    Publishing info: Bremen : n/a
    Event Title: Untitled Event
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  14. Creators:
    Dates: Modified: 2007-03-12 | Published in Print: 2006  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: IJCAR'06 Workshop : VERIFY'06: Verification Works...
    Volume / Issue: -
    Start / End Page: 128 - 145
    Sequence Number: -
    Source Publ. Info: - : -
  15. Creators:
    Dates: Modified: 2007-03-12 | Published in Print: 2006  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Proceedings of the Eighth Workshop on Geometric a...
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: - : -
  16. Creators:
    Dates: Modified: 2007-03-12 | Published in Print: 2006  
    Genre: Conference Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Proceedings of IJCAR 2006
    Volume / Issue: -
    Start / End Page: 235 - 250
    Sequence Number: -
    Source Publ. Info: New York : Springer
     : 1 further sources available
  17. Creators:
    Dates: Modified: 2007-03-20 | Published in Print: 2005  
    Genre: Conference Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Automated deduction - CADE-20 : 20th Internationa...
    Volume / Issue: -
    Start / End Page: 219 - 234
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  18. Creators:
    Dates: Modified: 2007-04-02 | Published in Print: 2006  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Jahrbuch der Max-Planck-Gesellschaft
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: München : MPG
  19. Creators:
    Dates: Modified: 2009-03-23 | Published in Print: 2008  
    Genre: Proceedings 
    Files: -
    Locators: -
    Publishing info: Sydney : CEDAR
    Event Title: Untitled Event
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  20. Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Electronic Notes in Theoretical Computer Science
    Volume / Issue: 174 (8)
    Start / End Page: 39 - 54
    Sequence Number: -
    Source Publ. Info: -
  21. Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Integrated Formal Methods : 6th International Con...
    Volume / Issue: -
    Start / End Page: 233 - 252
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  22. Creators:
    Dates: Modified: 2007-03-30 | Published in Print: 2006  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: PDPAR'06: Pragmatical Aspects of Decision Procedu...
    Volume / Issue: -
    Start / End Page: 15 - 26
    Sequence Number: -
    Source Publ. Info: -
  23. Creators:
    Dates: Modified: 2007-04-13 | Published in Print: 2005  
    Genre: Conference Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Automated Reasoning with Analytic Tableaux and Re...
    Volume / Issue: -
    Start / End Page: 153 - 168
    Sequence Number: -
    Source Publ. Info: Berlin, Germany : Springer
     : 1 further sources available
  24. Creators:
    Dates: Accepted: 2006-07-01 | Published Online: 2006-12-16 | Published in Print: 2007  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Automated Reasoning
    Volume / Issue: 38 (1/3)
    Start / End Page: 57 - 78
    Sequence Number: -
    Source Publ. Info: London : Springer
  25. Creators:
    Dates: Modified: 2008-03-25 | Published in Print: 2007  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Proceedings of the 37th International Symposium o...
    Volume / Issue: -
    Start / End Page: p.1.1 - 6
    Sequence Number: -
    Source Publ. Info: Los Alamitos, CA, USA : IEEE Computer Society
 
 
Previous1234567Next