Unsolid and fluid strong varieties of partial algebras

Abstract

A partial algebra = (A; ( f A i )i∈I) consists of a set A and an indexed set ( f A i )i∈I of partial operations f A i :A ni → A. Partial operations occur in the algebraic description of partial recursive functions and Turing machines. A pair of terms p ≈ q over the partial algebra is said to be a strong identity in if the right-hand side is defined whenever… (More)
DOI: 10.1155/IJMMS/2006/68534

Topics

1 Figure or Table

Slides referencing similar topics