Implicit definability of algebraic structurs by means of program properties

Files

bergstra_79_implicitdefinabilityofalgebraicstructures.p... (266.9 KB)

Publication date

1979

Authors

Bergstra, J.A.

Tiuryn, J.

Document Type

Article in proceedings

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/21255