The exponential logic of sequentialization.

Aurore Alcolei Luc Pellissier Alexis Saurin

Published in: CoRR (2023)

Keyphrases

logic programming
modal logic
multi valued
predicate logic
database systems
classical logic
proof theory
social networks
lower bound
knowledge representation
automated reasoning
linear complexity