Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Report
|
![]() |
Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032)Barcelo, Pablo ; Bourhis, Pierre ; Mengel, Stefan ; Roy, SudeepaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2024Texto completo disponível |
2 |
Material Type: Report
|
![]() |
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)Beyersdorff, Olaf ; Biere, Armin ; Ganesh, Vijay ; Nordström, Jakob ; Oertel, AndySchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
3 |
Material Type: Report
|
![]() |
From Proofs to Computation in Geometric Logic and Generalizations (Dagstuhl Seminar 24021)Blechschmidt, Ingo ; Ishihara, Hajime ; Schuster, Peter M. ; Buriola, GabrieleSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2024Texto completo disponível |
4 |
Material Type: Report
|
![]() |
Human-Centered Artificial Intelligence (Dagstuhl Seminar 22262)Mackay, Wendy E. ; Shawe-Taylor, John ; van Harmelen, FrankSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
5 |
Material Type: Report
|
![]() |
Computational Social Dynamics (Dagstuhl Seminar 22452)Hoefer, Martin ; Oren, Sigal ; Wattenhofer, Roger ; Varricchio, GiovannaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
6 |
Material Type: Report
|
![]() |
SAT and Interactions (Dagstuhl Seminar 20061)Beyersdorff, Olaf ; Egly, Uwe ; Mahajan, Meena ; Nalon, CláudiaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2020Texto completo disponível |
7 |
Material Type: Report
|
![]() |
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371)Bläser, Markus ; Kabanets, Valentine ; Shaltiel, Ronen ; Torán, JacoboSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2023Texto completo disponível |
8 |
Material Type: Report
|
![]() |
Unambiguity in Automata Theory (Dagstuhl Seminar 21452)Colcombet, Thomas ; Quaas, Karin ; Skrzypczak, MichałSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
9 |
Material Type: Report
|
![]() |
Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391)Král’, Daniel ; Pilipczuk, Michał ; Siebertz, Sebastian ; Sullivan, Blair D.Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
10 |
Material Type: Report
|
![]() |
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)Atserias, Albert ; Berkholz, Christoph ; Etessami, Kousha ; Ochremiak, JoannaSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |