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

Document Versions

Equivalences among Various Logical Frameworks of Partial Algebras –Till Mossakowski — 1996 — Computer Science Logic. 9th Workshop, CSL'95. Paderborn