Login / Signup
On the equational definition of the least prefixed point.
Luigi Santocanale
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
theorem proving
data mining
computer vision
object recognition
information technology
data model
control points