@article{Amano-Maruoka/06a,
AUTHOR = {Amano, Kazuyuki and Maruoka, Akira},
TITLE = {On learning monotone Boolean functions under the uniform distribution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {3-12},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {pac learning, monotone boolean functions, harmonic analysis, majority function},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HF56C8-1/2/1614c7ed7e3a0384a1247b44a360f420},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Servedio/06,
AUTHOR = {Servedio, Rocco A.},
TITLE = {On learning embedded midbit functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {13-23},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {pac learning, embedded midbit functions},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-7/2/e5e0f80f8421820cc09f0186b148aa79},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bshouty-Burroughs/06,
AUTHOR = {Bshouty, Nader H. and Burroughs, Lynn},
TITLE = {Maximizing agreements and coagnostic learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {24-39},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {pac learning, coagnostic learning, boolean formulas, maximum agreement, approximation},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDX8JS-1/2/5e92f5aa451f4f9d75187157a045baa0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Forster-Simon/06,
AUTHOR = {Forster, J{\"u}rgen and Simon, Hans Ulrich},
TITLE = {On the smallest possible dimension and the largest possible margin of linear arrangements representing given concept classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {40-48},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {linear arrangements, dimension bounds, margin bounds, matrix rigidity},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDGKH3-7/2/31b904e55de421292c9058f51644c24f},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kobler-Lindner/06,
AUTHOR = {K{\"o}bler, Johannes and Lindner, Wolfgang},
TITLE = {The complexity of learning concept classes with polynomial general dimension},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {49-62},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {query learning, learning complexity, learning dnf formulas, polynomial-time hierarchy},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-8/2/43f073ac667f9effb63e0fb6662297d8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Suzuki-Shoudai-Uchida-Miyahara/06,
AUTHOR = {Suzuki, Yusuke and Shoudai, Takayoshi and Uchida, Tomoyuki and Miyahara, Tetsuhiro},
TITLE = {Ordered term tree languages which are polynomial time inductively inferable from positive data},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {63-90},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {machine learning, inductive inference, tree structured pattern},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HJYXWD-1/2/8ca0c17da49c1f8fd61e11229fb916a7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Reidenbach/06,
AUTHOR = {Reidenbach, Daniel},
TITLE = {A non-learnable class of E-pattern languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {91-102},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {pattern languages, inductive inference, learning theory},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDX8JS-2/2/ba4af0451efdfc159c59e0ba556070da},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Martin-Sharma-Stephan/06,
AUTHOR = {Martin, {\'E}ric and Sharma, Arun and Stephan, Frank},
TITLE = {Unifying logic, topology and learning in parametric logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {103-124},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {inductive logic, inductive inference, borel and difference hierarchies, weak forms of compactness},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-9/2/0389a6738418a2a267cfbc01c716048e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hayashi/06,
AUTHOR = {Hayashi, Susumu},
TITLE = {Mathematics based on incremental learning --- Texcluded middle and inductive inference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {125-139},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {learning theory, constructive logic, the law of excluded middle},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDP8S5-B/2/daed512b392e029d942bad2138820282},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Fronhofer-Yamamoto/06,
AUTHOR = {Fronh{\"o}fer, Bertram and Yamamoto, Akihiro},
TITLE = {Hypothesis finding with proof theoretical appropriateness criteria},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {1},
PAGES = {140-162},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {hypothesis finding, connection method, relevance logic, residue hypotheses, inductive logic, abduction and knowledge discovery},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HDX8JS-3/2/d35014ba623105ef9e428cc0f0ce287c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bojanczyk-Colcombet/06,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj and Colcombet, Thomas},
TITLE = {Tree-walking automata cannot be determinized},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {164-173},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {tree-walking automata, deterministic tree-walking automata},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HH88SM-1/2/2a5ae9ccb70307c06a3e591bc72b11dc},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dawar-Gradel-Kreutzer/06,
AUTHOR = {Dawar, Anuj and Gr{\"a}del, Erich and Kreutzer, Stephan},
TITLE = {Backtracking games and inflationary fixed points},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {174-187},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {fixed-point logics, games, model checking, complexity},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HHH7DR-3/2/bf10b1ae8372735b0975599fc19b386d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Deng-Sangiorgi/06a,
AUTHOR = {Deng, Yuxin and Sangiorgi, Davide},
TITLE = {Towards an algebraic theory of typed mobile processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {188-212},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {algebraic theory, types, mobile processes},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HHH7DR-2/2/6b0934bb8b5ea09d928eb9b3680e98c8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Faggian/06,
AUTHOR = {Faggian, Claudia},
TITLE = {Interactive observability in Ludics: The geometry of tests},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {213-233},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {ludics, game semantics, linear logic, geometry of interaction},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HNS5DK-1/2/10ea7c6325039ffcbfad9ccaee3bdf1d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ghica-Murawski-Ong/06,
AUTHOR = {Ghica, D.R. and Murawski, A.S. and Ong, C.-H.L.},
TITLE = {Syntactic control of concurrency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {234-251},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {game semantics, type systems, model checking},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HHPBRW-1/2/6bb2d59225aef8b92da9c1d5ccaee34d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Haghverdi-Scott/06,
AUTHOR = {Haghverdi, Esfandiar and Scott, Philip},
TITLE = {A categorical model for the geometry of interaction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {252-274},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {geometry of interaction, traced monoidal categories, linear logic, partially additive categories, unique decomposition categories},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HHH7DR-4/2/75e06205ee77a979f7fd11ebc13e21a0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Laird/06a,
AUTHOR = {Laird, J.},
TITLE = {A calculus of coroutines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {275-291},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {coroutines, lambda-calculus, game semantics, categorical models},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HHGF11-2/2/a0b9dfde2223df7dfb1602f37609795f},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Martin/06,
AUTHOR = {Martin, Keye},
TITLE = {Entropy as a fixed point},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {292-324},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {domain theory, entropy, complexity, information, algorithm},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HH88SM-2/2/b64ab1e1d4a87bdf42123b9b1696fe6b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Schweikardt/06,
AUTHOR = {Schweikardt, Nicole},
TITLE = {On the expressive power of monadic least fixed point logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {325-344},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {finite model theory, descriptive complexity theory, fixed point logic, monadic second-order logic, linear time complexity classes},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HHGF11-3/2/3d0d68475dc014a61b21557864ab97f9},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Serre/06,
AUTHOR = {Serre, Olivier},
TITLE = {Games with winning conditions of high Borel complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {350},
NUMBER = {2-3},
PAGES = {345-372},
YEAR = {2006},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {pushdown automata, two-player games, borel complexity},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4HGM986-2/2/be1e2708b3a18ec0188670a2d7e503e2},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}