Fragments of arithmetic and pairing functions
type: Item
instance of: scholarly article
zbMATH Open document ID: 0989.03067
DOI: 10.1016/S0764-4442(01)02151-6
author: Yerzhan Baisalov
publication date: 2002-07-22T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C62
zbMATH DE Number: 1695077
zbMATH Keywords: decidability
zbMATH Keywords: fragments of arithmetic
zbMATH Keywords: pairing function
MaRDI profile type: Publication
title: Fragments of arithmetic and pairing functions
published in: Comptes Rendus de l'Académie des Sciences. Série I. Mathématique
description: scientific article; zbMATH DE number 1695077