Login / Signup

A Behavioural Model for Klop's Calculus.

Mariangiola Dezani-CiancagliniMakoto Tatsuta
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases