This article is cited in 25 papers

Conditional terms and their applications in algebra and computation theory

A. G. Pinus

Novosibirsk State Technical University

Abstract: The notion of program-computable function on a universal algebra is formalized through the notion of conditional term. This leads to a somewhat new approach to the study of traditional algebraic problems related to both universal classes and specific finite algebras, and also enables one to pose and investigate the problem of the computation resources of universal algebras.

UDC: 512.53

MSC: Primary 03C05, 08-02; Secondary 08B05, 08C05, 08A40, 08A70

Received: 30.10.2000

DOI: 10.4213/rm415

 English version: Russian Mathematical Surveys, 2001, 56:4, 649–686

Bibliographic databases:

• 
• 
• 
• 
•