Login / Signup
Partial Type Assignment in Left Linear Apllicative Term Rewriting Systems.
Steffen van Bakel
Sjaak Smetsers
Simon Brock
Published in:
CAAP (1992)
Keyphrases
</>
term rewriting systems
closed form
logic programs
database
databases
functional programs