A model theoretic approach to partial algebras. Akademie (1986)

by P Burmeister
Venue:Mathematical Structures in Computer Science