Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Enumeration Tutorial

A tutorial on constant delay enumeration for conjunctive queries, written by Christoph Berkholz, Fabian Gerhardt, and Nicole Schweikardt is now available in January 2020 edition of ACM SIGLOG News. It provides precise statements and detailed, self-contained proofs of the fundamental results in this area.