Back to Results
First PageMeta Content
Model theory / Algebraic structures / Mathematical structures / Field theory / First-order logic / Type / Structure / Universal algebra / John V. Tucker / Mathematics / Abstract algebra / Algebra


The Rational Numbers as an Abstract Data Type J. A. BERGSTRA University of Amsterdam, Informatics Institute, Amsterdam, The Netherlands AND J. V. TUCKER
Add to Reading List

Document Date: 2007-04-14 14:30:54

Open Document

File Size: 161,34 KB

Share Result on Facebook

City

Amsterdam / New York / /

Company

ACM Inc. / /

Country

United Kingdom / Netherlands / United States / /

Currency

USD / /

/

Facility

Penn Plaza / University of Wales Swansea / A. BERGSTRA University of Amsterdam / Informatics Institute / University of Amsterdam / Netherlands AND J. V. TUCKER University of Wales Swansea / /

/

IndustryTerm

term rewriting systems / inverse law / restricted inverse law / /

Organization

University of Wales Swansea / Department of Computer Science / University of Amsterdam / Informatics Institute / /

Person

Bergstra / TUCKER PROOF / Meinke / Kees Middelburg / /

/

Position

Mathematical Logic General / /

ProvinceOrState

Swansea / New York / /

PublishedMedium

Journal of the ACM / /

URL

http /

SocialTag