Login / Signup
A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes.
José Meseguer
Published in:
ICFPC (1981)
Keyphrases
</>
test cases
algebraic structures
computer programs
real world
artificial intelligence
computer vision
multiscale
higher order