Termination of Combined (Rewrite and lambda-Calculus) Systems.

Carlos Loría-Sáenz Joachim Steinbach

Published in: CTRS (1992)

Keyphrases

lambda calculus
management system
database
distributed systems