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

Search Results

389 Items found (descending sorted by Modification Date)
 
 
Previous1234567Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Modified: 2008-03-27 | Published in Print: 2007  
    Genre: Report 
    Files: 1 File
    Locators: -
    Publishing info: Saarbrücken, Germany : Max-Planck-Institut für Informatik
    Event Title: -
    Source Genre: Series
    Source Title: Max-Planck-Institut für Informatik / Research Rep...
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  2. ( )
    Contextual Rewriting
    Creators:
    Dates: Modified: 2009-03-20 | Published in Print: 2009  
    Genre: Report 
    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: Submitted: 2013 | Published Online: 2017 | Published in Print: 2017  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Logic and Computation
    Volume / Issue: 27 (2)
    Start / End Page: 441 - 468
    Sequence Number: -
    Source Publ. Info: Oxford : Oxford University Press
  4. Creators:
    Dates: Submitted: 2017 | Accepted: 2018-05-16 | Published Online: 2018 | Published in Print: 2018  
    Genre: Thesis 
    Files: -
    Locators: 1 Locator
    Publishing info: Saarbrücken : Universität des Saarlandes
    Event Title: -
    Source Genre: -
    Source Title: -
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  5. Creators:
    Dates: Published Online: 2018 | Published in Print: 2018  
    Genre: Journal Article 
    Files: 1 File
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Automated Reasoning
    Volume / Issue: 61 (1-4)
    Start / End Page: 333 - 365
    Sequence Number: -
    Source Publ. Info: New York, NY : Springer
  6. Creators:
    Dates: Published in Print: 2001  
    Genre: Report 
    Files: 1 File
    Locators: -
    Publishing info: Saarbrücken : Max-Planck-Institut für Informatik
    Event Title: -
    Source Genre: Series
    Source Title: Research Report / Max-Planck-Institut für Informa...
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  7. Creators:
    Dates: Published in Print: 1999  
    Genre: Report 
    Files: 1 File
    Locators: -
    Publishing info: Saarbrücken : Max-Planck-Institut für Informatik
    Event Title: -
    Source Genre: Series
    Source Title: Research Report / Max-Planck-Institut für Informa...
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  8. Creators:
    Dates: Published Online: 2017 | Published in Print: 2018  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Science of Computer Programming
    Volume / Issue: 158
    Start / End Page: 64 - 80
    Sequence Number: -
    Source Publ. Info: Amsterdam : Elsevier
  9. ( )
    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: 1 - 15
    Sequence Number: -
    Source Publ. Info: -
  10. Creators:
    Dates: Published Online: 2018 | Published in Print: 2018  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 7th ACM SIGPLAN International Conference on Certi...
    Source Genre: Proceedings
    Source Title: CPP'18
    Volume / Issue: -
    Start / End Page: 158 - 171
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
  11. 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: -
  12. 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
  13. 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
  14. 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
  15. 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: -
  16. 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: -
  17. 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: -
  18. 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
  19. 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
  20. 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
  21. 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: -
  22. 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
  23. 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
  24. 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
  25. 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
 
 
Previous1234567Next