Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности
Zapiski naucnych seminarov POMI (1995)
- Volume: 220, Issue: 1, page 83-92
Access Full Article
top
How to cite
topМатиясевич, Ю.В.. "Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности." Zapiski naucnych seminarov POMI 220.1 (1995): 83-92. <http://eudml.org/doc/68551>.
@article{Матиясевич1995,
author = {Матиясевич, Ю.В.},
journal = {Zapiski naucnych seminarov POMI},
keywords = {exponential diophantine representation; recursively enumerable set; arithmetic representation; bounded universal quantifier; Davis normal form},
language = {rus},
number = {1},
pages = {83-92},
publisher = {Nauka},
title = {Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности},
url = {http://eudml.org/doc/68551},
volume = {220},
year = {1995},
}
TY - JOUR
AU - Матиясевич, Ю.В.
TI - Новая техника для получения диафантовых представлений путем устранения ограниченных кванторов общности
JO - Zapiski naucnych seminarov POMI
PY - 1995
PB - Nauka
VL - 220
IS - 1
SP - 83
EP - 92
LA - rus
KW - exponential diophantine representation; recursively enumerable set; arithmetic representation; bounded universal quantifier; Davis normal form
UR - http://eudml.org/doc/68551
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.