Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jakob Nordstrom"'
Autor:
Jakob Nordstrom
Publikováno v:
Logical Methods in Computer Science, Vol Volume 9, Issue 3 (2013)
Pebble games were extensively studied in the 1970s and 1980s in a number of different contexts. The last decade has seen a revival of interest in pebble games coming from the field of proof complexity. Pebbling has proven to be a useful tool for stud
Externí odkaz:
https://doaj.org/article/12f1a6d9e5b7409d97e28dd08c1ddee3
Publikováno v:
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f66eccb8e37cdfe194d7da2464ea90c1
https://doi.org/10.23919/date54114.2022.9774587
https://doi.org/10.23919/date54114.2022.9774587