On the expressiveness of equational type logic

Vicenzo Manca, Antonino Salibra, Giuseppe Scollo

Research output: Book/Report › Report › Professional

Original language	English
Place of Publication	Enschede
Publisher	Universiteit Twente, Faculteit Informatica
Number of pages	15
Publication status	Published - 1990

Name	Memoranda informatica
Publisher	Universiteit Twente, Faculteit Informatica
No.	90-39
ISSN (Print)	0924-3755

On the Expressiveness of equational type logic
Manca, V., Salibra, A. & Scollo, G., 1992, The unified computation laboratory: Modelling, specifications, and tools. New York, NY: Oxford University Press, p. 85-100
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Research output