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

zbMath1093.03500MaRDI QIDQ2498136

Sergei P. Odintsov, Sergei S. Goncharov, Andrey S. Morozov

Publication date: 24 August 2006

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

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

zbMATH Keywords

substructural logicssemantic programmingBüchi complementationinductive Borel irreducibility theoremslearning languages

Mathematics Subject Classification ID

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

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