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

Search Results

385 Items found (descending sorted by Modification Date)
 
 
Previous1234567Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. 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: -
  2. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: 11th International Symposium on Frontiers of Comb...
    Source Genre: Proceedings
    Source Title: Frontiers of Combining Systems
    Volume / Issue: -
    Start / End Page: 189 - 206
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  3. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: 1st International Workshop on Automated Reasoning
    Source Genre: Proceedings
    Source Title: ARCADE 2017
    Volume / Issue: -
    Start / End Page: 16 - 23
    Sequence Number: -
    Source Publ. Info: -
     : 1 further sources available
  4. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Artificial Intelligence Research
    Volume / Issue: 60
    Start / End Page: 827 - 880
    Sequence Number: -
    Source Publ. Info: S.l. : AI Access Foundation
  5. Creators:
    Dates: Accepted: 2017-05-24 | Published in Print: 2017  
    Genre: Thesis 
    Files: 1 File
    Locators: -
    Publishing info: Saarbrücken : Universität des Saarlandes
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  6. Creators:
    Dates: Created: 2017-12-05 | Published Online: 2017  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Electronic Proceedings in Theoretical Computer Sc...
    Volume / Issue: 262
    Start / End Page: 15 - 22
    Sequence Number: -
    Source Publ. Info: -
  7. ( )
    Abstract Soundness
    Creators:
    Dates: Published Online: 2017  
    Genre: Journal Article 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Archive of Formal Proofs
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  8. Creators:
    Dates: Published Online: 2018-01-18  
    Genre: Journal Article 
    Files: -
    Locators: 1 Locator
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Archive of Formal Proofs
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  9. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: 1st International Workshop on Automated Reasoning
    Source Genre: Proceedings
    Source Title: ARCADE 2017
    Volume / Issue: -
    Start / End Page: 76 - 81
    Sequence Number: -
    Source Publ. Info: -
     : 1 further sources available
  10. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Formal Methods in System Design
    Volume / Issue: 51 (3)
    Start / End Page: 433 - 461
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
  11. Creators:
    Dates: Published Online: 2017-05-10 | Published in Print: 2017  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Science of Computer Programming
    Volume / Issue: 148
    Start / End Page: 123 - 160
    Sequence Number: -
    Source Publ. Info: Amsterdam : Elsevier
  12. Creators:
    Dates: Accepted: 2017-10-12 | Published Online: 2017-08-16 | Published in Print: 2017  
    Genre: Thesis 
    Files: -
    Locators: 2 Locators
    Publishing info: Saarbrücken : Universität des Saarlandes
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  13. Creators:
    Dates: Created: 2017-04-23 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: International Symposium on Symbolic and Algebraic...
    Source Genre: Proceedings
    Source Title: ISSAC’17
    Volume / Issue: -
    Start / End Page: 45 - 52
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  14. Creators:
    Dates: Created: 2017-06-27 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: 19th International Workshop on Computer Algebra i...
    Source Genre: Proceedings
    Source Title: Computer Algebra in Scientific Computing
    Volume / Issue: -
    Start / End Page: 93 - 108
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  15. Creators:
    Dates: Created: 2017-05-24 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 26th International Conference on Automated Deduct...
    Source Genre: Proceedings
    Source Title: Automated Deduction -- CADE 26
    Volume / Issue: -
    Start / End Page: 398 - 412
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  16. Creators:
    Dates: Created: 2017-05-24 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 26th International Conference on Automated Deduct...
    Source Genre: Proceedings
    Source Title: Automated Deduction -- CADE 26
    Volume / Issue: -
    Start / End Page: 432 - 453
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  17. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 11th International Symposium on Frontiers of Comb...
    Source Genre: Proceedings
    Source Title: Frontiers of Combining Systems
    Volume / Issue: -
    Start / End Page: 3 - 21
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  18. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Twenty-Sixth International Joint Conference on Ar...
    Source Genre: Proceedings
    Source Title: Proceedings of the Twenty-Sixth International Joi...
    Volume / Issue: -
    Start / End Page: 4786 - 4790
    Sequence Number: -
    Source Publ. Info: International Joint Conferences on Artificial Intelligence
  19. Creators:
    Dates: Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 8th Conference on Interactive Theorem Proving
    Source Genre: Proceedings
    Source Title: Interactive Theorem Proving
    Volume / Issue: -
    Start / End Page: 46 - 64
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  20. Creators:
    Dates: Published Online: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: 2 Locators
    Publishing info: -
    Event Title: 2nd International Conference on Formal Structures...
    Source Genre: Proceedings
    Source Title: 2nd International Conference on Formal Structures...
    Volume / Issue: -
    Start / End Page: 1 - 18
    Sequence Number: 1
    Source Publ. Info: Wadern : Schloss Dagstuhl
     : 1 further sources available
  21. Creators:
    Dates: Accepted: 2017-08-04 | Published Online: 2017-09-14 | Published in Print: 2017  
    Genre: Thesis 
    Files: -
    Locators: 2 Locators
    Publishing info: Saarbrücken : Universität des Saarlandes
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  22. Creators:
    Dates: Created: 2017-05-24 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 26th International Conference on Automated Deduct...
    Source Genre: Proceedings
    Source Title: Automated Deduction -- CADE 26
    Volume / Issue: -
    Start / End Page: 202 - 219
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  23. Creators:
    Dates: Created: 2017-05-24 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 26th International Conference on Automated Deduct...
    Source Genre: Proceedings
    Source Title: Automated Deduction -- CADE 26
    Volume / Issue: -
    Start / End Page: 77 - 94
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  24. Creators:
    Dates: Accepted: 2017 | Published Online: 2017 | Published in Print: 2017  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Source Genre: Proceedings
    Source Title: 32nd Annual ACM-IEEE Symposium on Logic in Comput...
    Volume / Issue: -
    Start / End Page: 1 - 12
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  25. Creators:
    Dates: Accepted: 2017 | Published Online: 2017 | Published in Print: 2017  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Mathematics in Computer Science
    Volume / Issue: 11 (3-4)
    Start / End Page: 483 - 502
    Sequence Number: -
    Source Publ. Info: New York, NY : Springer
 
 
Previous1234567Next