Verification of Ptime reducibility for system F terms via Dual Light Affine Logic

Vincent Atassi Patrick Baillot Kazushige Terui

Published in: CoRR (2006)

Keyphrases

asynchronous circuits
database
automated reasoning
databases
information retrieval
computer vision
multiscale
logic programming
model checking
predicate logic