@article{Buntrock-Otto/98, AUTHOR = {Buntrock, Gerhard and Otto, Friedrich}, TITLE = {Growing context-sensitive languages and Church-Rosser languages}, JOURNAL = {Inf.~Comput.}, VOLUME = {141}, NUMBER = {1}, PAGES = {1-36}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Iwama-Iwamoto/98a, AUTHOR = {Iwama, Kazuo and Iwamoto, Chuzo}, TITLE = {A canonical form of vector machines}, JOURNAL = {Inf.~Comput.}, VOLUME = {141}, NUMBER = {1}, PAGES = {37-65}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Maass-Warmuth/98, AUTHOR = {Maass, Wolfgang and Warmuth, Manfred K.}, TITLE = {Efficient learning with virtual threshold gates}, JOURNAL = {Inf.~Comput.}, VOLUME = {141}, NUMBER = {1}, PAGES = {66-83}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Aslam-Decatur/98a, AUTHOR = {Aslam, Javed A. and Decatur, Scott E.}, TITLE = {General bounds on statistical query learning and PAC learning with noise via hypothesis boosting}, JOURNAL = {Inf.~Comput.}, VOLUME = {141}, NUMBER = {2}, PAGES = {85-118}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Segala-Gawlick-Sogaard-Andersen-Lynch/98, AUTHOR = {Segala, Roberto and Gawlick, Rainer and S{\o}gaard-Andersen, J{\o}rgen and Lynch, Nancy}, TITLE = {Liveness in times and untimed systems}, JOURNAL = {Inf.~Comput.}, VOLUME = {141}, NUMBER = {2}, PAGES = {119-171}, YEAR = {1998}, KEYWORDS = {automata, timed automata, I/O automata, liveness, receptiveness, formal verification, simulation techniques}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, } @article{Bezem-Klop-Oostrom/98, AUTHOR = {Bezem, Marc and Klop, Jan Willem and Oostrom, Vincent van}, TITLE = {Diagram techniques for confluence}, JOURNAL = {Inf.~Comput.}, VOLUME = {141}, NUMBER = {2}, PAGES = {172-204}, YEAR = {1998}, PUBLISHER = {Academic Press}, ADDRESS = {New York-San Francisco-London-San Diego}, }