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...
Elmentve itt :
| Szerző: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
1993
|
| Sorozat: | Acta cybernetica
11 No. 1-2 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12521 |
| LEADER | 01196nab a2200217 i 4500 | ||
|---|---|---|---|
| 001 | acta12521 | ||
| 005 | 20220613103555.0 | ||
| 008 | 161015s1993 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Berghammer Rudolf | |
| 245 | 1 | 3 | |a On the characterization of the integers |h [elektronikus dokumentum] : |b the hidden function problem revisited / |c Berghammer Rudolf |
| 260 | |c 1993 | ||
| 300 | |a 85-96 | ||
| 490 | 0 | |a Acta cybernetica |v 11 No. 1-2 | |
| 520 | 3 | |a 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 predecessor as term-generated model of a finite first-order theory needs at least one hidden function or relation. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Kibernetika | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12521/1/cybernetica_011_numb_001_002_085-096.pdf |z Dokumentum-elérés |