Login / Signup
Reasoning about Array Structure Using a Dependently Typed Logic.
Alan Dent
Keith Hanna
Published in:
CHDL (1993)
Keyphrases
</>
lambda calculus
databases
artificial intelligence
higher order
structural information
complex structures
formal theory
genetic algorithm
data structure
network structure
digital circuits