The first-order isomorphism theorem (2001)

by M Agrawal
Venue:In Proc. Foundations of Software Technology and Theoretical Computer Science (FSTTCS): 21st Conference, Lecture Notes in Computer Science 2245