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

zbMATH Open1093.03500MaRDI QIDQ2498136FDOQ2498136

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)

• Proceedings of the 14th and 15th Asian Logic Conferences
• Title not available (Why is that?)
• Proceedings of the scientific research seminar of the Logic Center of the Institute of Philosophy RAS. 1999-2000. No. XIV.
• Title not available (Why is that?)
• Title not available (Why is that?)

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)