Publication Overview

Tobias Nipkow and Gerhard Weikum

A decidability result about sufficient-completeness of axiomatically specified abstract data types

Published in: Theoretical Computer Science
Year: 1983
Pages: 257-268