A Linear Spine Calculus.

Iliano Cervesato Frank Pfenning

Published in: J. Log. Comput. (2003)

Keyphrases

genetic algorithm
closed form
constraint query languages
artificial intelligence
website
expressive power
linear model
transfer function
linear systems
linear complexity