Gaetano Geck
Identifiers
No identifiers captured yet.
Papers (3)
- Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic cs.CY · 2018 · author #1
- Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation cs.DB · 2015 · author #1
- Parallel-Correctness and Transferability for Conjunctive Queries cs.DB · 2014 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Bas Ketsman 2 shared papers
- Frank Neven 2 shared papers
- Thomas Schwentick 2 shared papers
- Artur Ljulin 1 shared papers
- Fabian Vehlken 1 shared papers
- Jonas Schmidt 1 shared papers
- Sebastian Peter 1 shared papers
- Thomas Zeume 1 shared papers
- Tom J. Ameloot 1 shared papers