Final algebras, cosemicomputable algebras and degrees of unsolvability
Lawrence S. Moss, José Meseguer, Joseph A. GoguenVolume:
100
Year:
1992
Language:
english
Pages:
36
DOI:
10.1016/0304-3975(92)90305-y
File:
PDF, 2.52 MB
english, 1992