Work

Final algebras, cosemicomputable algebras and degrees of unsolvability

Year: 1992

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/0304-3975(92)90305-y

Authors: Lawrence S. Moss, José Meseguer, Joseph A. Goguen

Institutions: Indiana University Bloomington, Indiana University, SRI International, Stanford University, University of Oxford

Language: English

Topic: Computability, Logic, AI Algorithms

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2050029329

FWCI: 1.861

Cites: 25

Cited by: 14

Related to: 10