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

Search Results

898 Items found (descending sorted by Modification Date)
 
 
Previous1234567Next
  Sort by State ???List_Show??? Expand all Select Item Collapse all
  1. Creators:
    Dates: Published in Print: 1991  
    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: -
  2. Creators:
    Dates: Published in Print: 1991  
    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: -
  3. Creators:
    Dates: Published in Print: 1991  
    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: -
  4. Creators:
    Dates: Published in Print: 1991  
    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: -
  5. Creators:
    Dates: Published in Print: 1991  
    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: -
  6. Creators:
    Dates: Published in Print: 1991  
    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: 1991  
    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
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  8. Creators:
    Dates: Published in Print: 1991  
    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
    Volume / Issue: -
    Start / End Page: -
    Sequence Number: -
    Source Publ. Info: -
  9. Creators:
    Dates: Published in Print: 1991  
    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: -
  10. Creators:
    Dates: Published in Print: 1991  
    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: -
  11. Creators:
    Dates: Published in Print: 1991  
    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: -
  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: 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
  13. 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
  14. Creators:
    Dates: Modified: 2005-04-27 | Accepted: 2004-11-24 | Published in Print: 2004  
    Genre: Thesis 
    Files: -
    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: -
  15. Creators:
    Dates: Modified: 2010-03-12 | Published in Print: 2001  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Multiple-Valued Logic - An International Journal
    Volume / Issue: 6 (3/4)
    Start / End Page: 289 - 344
    Sequence Number: -
    Source Publ. Info: -
  16. Creators:
    Dates: Modified: 2010-03-12 | Published in Print: 2001  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 31st IEEE International Symposium on Multiple-Val...
    Source Genre: Proceedings
    Source Title: Proceedings of the 31st IEEE International Sympos...
    Volume / Issue: -
    Start / End Page: 125 - 134
    Sequence Number: -
    Source Publ. Info: Los Alamitos, CA : IEEE
  17. 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
  18. Creators:
    Dates: Modified: 2007-04-27 | Published in Print: 2006  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: Untitled Event
    Source Genre: Proceedings
    Source Title: Disproving'06: Non-Theorems, Non-Validity, Non-Pr...
    Volume / Issue: -
    Start / End Page: 2 - 12
    Sequence Number: -
    Source Publ. Info: Seattle, USA : Self publishing
  19. Creators:
    Dates: Accepted: 2008-10-31 | Published Online: 2008 | Published in Print: 2008  
    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: -
  20. Creators:
    Dates: Published Online: 2009 | Published in Print: 2009  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: ACM Transactions on Programming Languages and Sys...
    Volume / Issue: 31 (3)
    Start / End Page: 10:1 - 10:42
    Sequence Number: -
    Source Publ. Info: New York : Association for Computing Machinery, Inc.
  21. Creators:
    Dates: Accepted: 2006 | Published Online: 2007 | Published in Print: 2006  
    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: Submitted: 2009-04-01 | Published Online: 2009-08-15 | Published in Print: 2009  
    Genre: Journal Article 
    Files: 1 File
    Locators: 1 Locator
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: Journal of Anthropological Archaeology
    Volume / Issue: 28 (4)
    Start / End Page: 412 - 423
    Sequence Number: -
    Source Publ. Info: Amsterdam : Elsevier
  23. Creators:
    Dates: Modified: 2009-03-24 | Published Online: 2008 | Published in Print: 2008  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: 10th International Conference on Relational Metho...
    Source Genre: Proceedings
    Source Title: Relations and Kleene Algebra in Computer Science ...
    Volume / Issue: -
    Start / End Page: 84 - 98
    Sequence Number: -
    Source Publ. Info: Berlin : Springer
     : 1 further sources available
  24. Creators:
    Dates: Modified: 2008-03-28 | Published in Print: 2007  
    Genre: Journal Article 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Journal
    Source Title: ACM Transactions on Programming Languages and Sys...
    Volume / Issue: 29
    Start / End Page: 15.1 - 15.31
    Sequence Number: 15
    Source Publ. Info: -
  25. ( )
    Proving non-termination
    Creators:
    Dates: Modified: 2009-04-07 | Published in Print: 2008  
    Genre: Conference Paper 
    Files: -
    Locators: -
    Publishing info: -
    Event Title: -
    Source Genre: Proceedings
    Source Title: POPL’08 : proceedings of the 35th Annual ACM SIGP...
    Volume / Issue: -
    Start / End Page: 147 - 158
    Sequence Number: -
    Source Publ. Info: New York, NY : ACM
 
 
Previous1234567Next