Login / Signup
Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings).
Paul Tarau
Published in:
Theory Pract. Log. Program. (2013)
Keyphrases
</>
logic programming
concurrency control
database
information retrieval
shape analysis