Login / Signup
Implementing Equational Constraints in a Functional Language
Bernd Braßel
Michael Hanus
Björn Peemöller
Fabian Reck
Published in:
CoRR (2011)
Keyphrases
</>
functional language
functional programming
programming language
data structure
data mining
artificial intelligence
proof planning