Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi.

Fairouz Kamareddine Alejandro Ríos

Published in: Log. J. IGPL (1998)

Keyphrases

np complete
database
named entities
databases
decision trees
case study
keywords
graph structure
sequent calculi