pith. sign in

Gaetano Geck

Identifiers

No identifiers captured yet.

Papers (3)

  1. Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic cs.CY · 2018 · author #1
  2. Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation cs.DB · 2015 · author #1
  3. Parallel-Correctness and Transferability for Conjunctive Queries cs.DB · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors