Mathematizing abstract data types
Year: 1994
Type: article
Source: ACM SIGCSE Bulletin
Author: Charles L. Silver
Institution: Southeastern Louisiana University
Language: English
Subfield: Computer Science Applications
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2059837661
