9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005.
Goncharov, S.S.; Morozov, A.S.; Odintsov, S.P.
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only] (2005)
- Volume: 2, page A.10-A.11
- ISSN: 1813-3304
Access Full Article
top
How to cite
topGoncharov, S.S., Morozov, A.S., and Odintsov, S.P.. "9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005.." Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only] 2 (2005): A.10-A.11. <http://eudml.org/doc/231715>.
@article{Goncharov2005,
author = {Goncharov, S.S., Morozov, A.S., Odintsov, S.P.},
journal = {Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]},
keywords = {substructural logics; semantic programming; Büchi complementation; learning languages; inductive Borel irreducibility theorems},
language = {eng},
pages = {A.10-A.11},
publisher = {Institut Matematiki Im. S.L. Soboleva, SO RAN},
title = {9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005.},
url = {http://eudml.org/doc/231715},
volume = {2},
year = {2005},
}
TY - JOUR
AU - Goncharov, S.S.
AU - Morozov, A.S.
AU - Odintsov, S.P.
TI - 9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005.
JO - Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
PY - 2005
PB - Institut Matematiki Im. S.L. Soboleva, SO RAN
VL - 2
SP - A.10
EP - A.11
LA - eng
KW - substructural logics; semantic programming; Büchi complementation; learning languages; inductive Borel irreducibility theorems
UR - http://eudml.org/doc/231715
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.