PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES

DOI10.1142/S0129054191000170zbMath0746.68063OpenAlexW2003686291MaRDI QIDQ4007856

J. V. Tucker, Jeffery Zucker

Publication date: 27 September 1992

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054191000170

zbMATH Keywords

computabilityabstract data typesmany-sorted algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computability and recursion theory (03D99)

Related Items (1)

Theory of computation over stream algebras, and its applications

This page was built for publication: PROJECTIONS OF SEMICOMPUTABLE RELATIONS ON ABSTRACT DATA TYPES