Equivalences among Various Logical Frameworks of Partial Algebras (1996)

Cached

Download Links

by Till Mossakowski
Venue:Computer Science Logic. 9th Workshop, CSL'95. Paderborn
Citations:17 - 7 self