On the Expressiveness of equational type logic

Vincenzo Manca, Antonio Salibra, Giuseppe Scollo

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	English
Title of host publication	The unified computation laboratory
Subtitle of host publication	Modelling, specifications, and tools
Place of Publication	New York, NY
Publisher	Oxford University Press
Pages	85-100
Number of pages	0
ISBN (Print)	978-0-19-853684-0
Publication status	Published - 1992

On the expressiveness of equational type logic
Manca, V., Salibra, A. & Scollo, G., 1990, Enschede: University of Twente. 15 p. (Memoranda informatica; no. 90-39)
Research output: Book/Report › Report › Professional

Cite this

@inbook{30a38549b0d546dbb90bf39216f7f022,

title = "On the Expressiveness of equational type logic",

author = "Vincenzo Manca and Antonio Salibra and Giuseppe Scollo",

year = "1992",

language = "English",

isbn = "978-0-19-853684-0",

pages = "85--100",

booktitle = "The unified computation laboratory",

publisher = "Oxford University Press",

address = "United States",

}