9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005

MaRDI QIDQ2498136zbMATH OpenFDO

Authors S. P. Odintsov, S. S. Goncharov, Andrei S. Morozov

Publication date 24 August 2006

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/231715

zbMATH Keywords

substructural logicssemantic programminginductive Borel irreducibility theoremslearning languagesBüchi complementation

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(5)

• scientific article; zbMATH DE number 1761403 (Why is no real title available?)
• Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 1999-2000. No. XIV.
• Proceedings of the 14th and 15th Asian Logic Conferences
• scientific article; zbMATH DE number 686735 (Why is no real title available?)
• scientific article; zbMATH DE number 5075930 (Why is no real title available?)

This page was built for publication: 9th Asian Logic Conference, Novosibirsk, Russia, 16--19 August 2005

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2498136)