Login / Signup
A Complete Logical System for the Equality of Recursive Terms for Sets.
Lawrence S. Moss
Erik Wennstrom
Glen T. Whitney
Published in:
Logic and Program Semantics (2012)
Keyphrases
</>
co occurrence
multiscale
data structure
evolutionary algorithm