On the characterization of the integers the hidden function problem revisited /

In this paper the hidden function problem studied so far only for equational (e.g., in [9] and [ll]) or conditional equational (e.g., in [3]) algebraic specifications is considered for arbitrary first-order theories. It is shown that a unique characterization of the integers with zero, successor and...

Full description

Saved in:
Bibliographic Details
Main Author: Berghammer Rudolf
Format: Article
Published: 1993
Series:Acta cybernetica 11 No. 1-2
Kulcsszavak:Számítástechnika, Kibernetika
Online Access:http://acta.bibl.u-szeged.hu/12521

Similar Items