Open AccessImplicit Definability of Algebraic Structures by Means of Program Properties1
Author(s) -
J.A. Bergstra,
Jerzy Tiuryn
Publication year - 1981
Publication title -
fundamenta informaticae
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.311
H-Index - 67
eISSN - 1875-8681
pISSN - 0169-2968
DOI - 10.3233/fi-1981-4309
Subject(s) - computer science , algebraic number , logic program , algebra over a field , theoretical computer science , mathematics , calculus (dental) , algorithm , pure mathematics , logic programming , mathematical analysis , medicine , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom