• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
  •   Home
  • Universität Ulm
  • Publikationsnachweise
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space

Erstveröffentlichung
2020
Authors
Toran, Jacobo
Woerz, Florian
Beitrag zu einer Konferenz


Published in
37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020) / Paul, Christophe ; Bläser, Markus (Hrsg.). - Saarbrücken/Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. - (Leibniz International Proceedings in Informatics ; 154). - Art.-Nr. UNSP 60. - ISBN 978-3-95977-140-5. - ISSN 1868-8969
Link to publication
https://dx.doi.org/10.4230/LIPIcs.STACS.2020.60
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Theoretische Informatik
Conference
37th International Symposium on Theoretical Aspects of Computer Science (STACS), 2020-03-10 - 2020-03-13, Montpellier, France
Subject headings
[Free subject headings]: Proof Complexity | Resolution | Tree-like Resolution | Pebble Game | Reversible Pebbling | Prover-Delayer Game | Raz-McKenzie Game | Clause Space | Variable Space | OPTIMAL SEPARATION | SHORT PROOFS | TIME | COMPLEXITY | BOUNDS
[DDC subject group]: DDC 000 / Computer science, information & general works | DDC 510 / Mathematics

Metadata
Show full item record

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement