@article{Niwinski/97,
AUTHOR = {Niwi{\'n}ski, Damian},
TITLE = {Fixed point characterization of infinite behavior of finite-state systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {1-69},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bouge-Cachera-Guyadec-Utard-Virot/97,
AUTHOR = {Boug{\'{e}}, Luc and Cachera, David and Guyadec, Yann le and Utard, Gil and Virot, Bernard},
TITLE = {Formal validation of data-parallel programs: A two-component assertional proof system for a simple language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {71-107},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Burkhard/97,
AUTHOR = {Burkhard, Hans-Dieter},
TITLE = {Fairness and control in multi-agent systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {109-127},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Eiter-Gottlob-Leone/97,
AUTHOR = {Eiter, Thomas and Gottlob, Georg and Leone, Nicola},
TITLE = {Abduction from logic programs: Semantics and complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {129-177},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bremond-Gregoire-Lee/97,
AUTHOR = {Br{\'{e}}mond-Gr{\'{e}}goire, Patrice and Lee, Insup},
TITLE = {A process algebra of communicating shared resources with dense time and priorities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {179-219},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mezghiche/97,
AUTHOR = {Mezghiche, Mohamed},
TITLE = {c$\beta$-machine with $\lambda\beta$-reduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {221-228},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bergeron/97,
AUTHOR = {Bergeron, Anne},
TITLE = {On the rational behaviors of concurrent timers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {229-237},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cicerone-Parisi-Presicce/97,
AUTHOR = {Cicerone, Serafino and Parisi-Presicce, Francesco},
TITLE = {On the complexity of specification morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {189},
NUMBER = {1-2},
PAGES = {239-248},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Nagaraj/97,
AUTHOR = {Nagaraj, S.V.},
TITLE = {Optimal binary search trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {1-44},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Heen/97a,
AUTHOR = {Heen, Olivier},
TITLE = {Linear speed-up for cellular automata synchronizers and applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {45-57},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Sen/97,
AUTHOR = {Sen, Sandeep},
TITLE = {Lower bounds for parallel algebraic decision trees, parallel complexity of convex hulls and related problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {59-78},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Romanik/97a,
AUTHOR = {Romanik, Kathleen},
TITLE = {Approximate testing and its relationship to learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {79-99},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Regan-Vollmer/97,
AUTHOR = {Regan, Kenneth W. and Vollmer, Heribert},
TITLE = {Gap-languages and log-time complexity classes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {101-116},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Grolmusz/97a,
AUTHOR = {Grolmusz, Vince},
TITLE = {On the power of circuits with gates of low $L_1$ norms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {117-128},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Goles-Rapaport/97,
AUTHOR = {Goles, Eric and Rapaport, Iv{\'{a}}n},
TITLE = {Complexity of tile rotation problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {129-159},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cerny/97,
AUTHOR = {{\v{C}}ern{\'y}, Anton},
TITLE = {On sequences resulting from iteration of modified quadratic and palindromic mappings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {161-174},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Freivalds-Jain/97,
AUTHOR = {Freivalds, Rusins and Jain, Sanjay},
TITLE = {Kolmogorov numberings and minimal identification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {175-194},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Allouche-Haeseler-Peitgen-Petersen-Skordev/97,
AUTHOR = {Allouche, J.-P. and Haeseler, F. von and Peitgen, H.-O. and Petersen, A. and Skordev, G.},
TITLE = {Automaticity of double sequences generated by one-dimensional linear cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {195-209},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Gyuris/97,
AUTHOR = {Gyuris, Viktor},
TITLE = {A short proof of representability of fork algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {211-220},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Shen/97b,
AUTHOR = {Shen, Hong},
TITLE = {Optimal algorithms for generalized searching in sorted matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {221-230},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Long-Ma-Zhou/97,
AUTHOR = {Long, Dong Yang and Ma, Jian and Zhou, Duanning},
TITLE = {Structure of 3-infix--outfix maximal codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {231-240},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Liu/97,
AUTHOR = {Liu, Renren},
TITLE = {An improved shellsort algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {188},
NUMBER = {1-2},
PAGES = {241-247},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Geiselman-Ulmer/97,
AUTHOR = {Geiselman, Willi and Ulmer, Felix},
TITLE = {Constructing a third-order linear differential equation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {3-6},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hubert/97,
AUTHOR = {Hubert, Evelyne},
TITLE = {Detecting degenerate behaviors in first order algebraic differential equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {7-25},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fakler/97,
AUTHOR = {Fakler, Winfried},
TITLE = {On second order homogeneous linear differential equations with Liouvillian solutions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {27-48},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Thomas/97,
AUTHOR = {Thomas, G.},
TITLE = {The problem of defining the singular points of quasi-linear differential-algebraic systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {49-79},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Pflugel/97a,
AUTHOR = {Pfl{\"u}gel, E.},
TITLE = {On the latest version of DESIR-II},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {81-86},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Scheen/97,
AUTHOR = {Scheen, Christian},
TITLE = {Implementation of the Painlev{\'e} test for ordinary differential systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {87-104},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bernardin/97,
AUTHOR = {Bernardin, Laurent},
TITLE = {On square-free factorization of multivariate polynomials over a finite field},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {105-116},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{de_Graaf/97a,
AUTHOR = {de Graaf, W.A.},
TITLE = {An algorithm for the decomposition of semisimple Lie algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {117-122},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Makhlouf/97,
AUTHOR = {Makhlouf, Abdenacer},
TITLE = {Alg{\`e}bres associatives et calcul formel (Associative algebras and computer algebra)},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {123-145},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Zenger/97,
AUTHOR = {Zenger, Christoph},
TITLE = {Indexed types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {147-165},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mall/97a,
AUTHOR = {Mall, Daniel},
TITLE = {Covers and fans of polynomial ideals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {167-178},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Amrhein-Gloor-Kuchlein/97,
AUTHOR = {Amrhein, Beatrice and Gloor, Oliver and K{\"u}chlein, Wolfgang},
TITLE = {On the walk},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {179-202},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Karczmarczuk/97,
AUTHOR = {Karczmarczuk, Jerzy},
TITLE = {Generating power of lazy semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {203-219},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Calmet-Homann/97,
AUTHOR = {Calmet, Jacques and Homann, Karsten},
TITLE = {Towards the Mathematics Software Bus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {221-230},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Korelc/97,
AUTHOR = {Korelc, Jo{\v{z}}e},
TITLE = {Automatic generation of finite-element code by simultaneous optimization of expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {231-248},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{El_Hamidi-Garbey/97,
AUTHOR = {El Hamidi, A. and Garbey, M.},
TITLE = {Using MAPLE for the analysis of bifurcation phenomena in gas combustion},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {249-262},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Carriere-Oudin/97,
AUTHOR = {Carri{\`e}re, Alain and Oudin, Louis-R{\'e}mi},
TITLE = {Applications du calcul formel {\`a} la balistique},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {187},
NUMBER = {1-2},
PAGES = {263-284},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Malgouyres/97,
AUTHOR = {Malgouyres, R{\'e}my},
TITLE = {A definition of surfaces of $Z^3$ --- A new 3D discrete Jordan theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {1-41},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Taentzer/97,
AUTHOR = {Taentzer, Gabriele},
TITLE = {Parallel high-level replacement systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {43-81},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Leiss/97,
AUTHOR = {Leiss, Ernst L.},
TITLE = {Solving systems of explicit language relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {83-105},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Badouel-Bernardinello-Darondeau/97,
AUTHOR = {Badouel, Eric and Bernardinello, Luca and Darondeau, Philippe},
TITLE = {The synthesis problem for elementary net systems is $NP$-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {107-134},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Peled/97,
AUTHOR = {Peled, Doron},
TITLE = {On projective and separable properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {135-156},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kim/97e,
AUTHOR = {Kim, Changwook},
TITLE = {A hierarchy of eNCE families of graph languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {157-169},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Flammini-Gambosi/97,
AUTHOR = {Flammini, Michele and Gambosi, Giorgio},
TITLE = {On devising Boolean routing schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {171-198},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Afek-Kutten-Yung/97,
AUTHOR = {Afek, Yehuda and Kutten, Shay and Yung, Moti},
TITLE = {The local detection paradigm and its applications to self-stabilization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {199-229},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ohlebusch-Ukkonen/97,
AUTHOR = {Ohlebusch, Enno and Ukkonen, Esko},
TITLE = {On the equivalence problem for E-pattern languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {186},
NUMBER = {1-2},
PAGES = {231-248},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kececioglu-Li-Tromp/97,
AUTHOR = {Kececioglu, John and Li, Ming and Tromp, John},
TITLE = {Iferring a DNA sequence from erroneous copies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {3-13},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Sakakibara/97,
AUTHOR = {Sakakibara, Yasubumi},
TITLE = {Recent advances of grammatical inference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {15-45},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Arimura-Ishizaka-Shinohara/97,
AUTHOR = {Arimura, Hiroki and Ishizaka, Hiroki and Shinohara, Takeshi},
TITLE = {Learning unions of tree patterns using queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {47-62},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Koshiba-Makinen-Takada/97,
AUTHOR = {Koshiba, Takeshi and M{\"a}kinen, Erkki and Takada, Yuji},
TITLE = {Learning deterministic even linear languages from positive examples},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {63-79},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Meyer/97,
AUTHOR = {Meyer, L{\'{e}}a},
TITLE = {Probabilistic language learning under monotonicity constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {81-128},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Stephan/97,
AUTHOR = {Stephan, Frank},
TITLE = {Noisy inference and oracles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {129-157},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Auer/97,
AUTHOR = {Auer, Peter},
TITLE = {Learning nested differences in the presence of malicious noise},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {159-175},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Takimoto-Miyashiro-Maruoka-Sakai/97,
AUTHOR = {Takimoto, Eiji and Miyashiro, Akira and Maruoka, Akira and Sakai, Yoshifumi},
TITLE = {Learning orthogonal $F$-Horn formulas},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {177-190},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Krishna_Rao/97,
AUTHOR = {Krishna Rao, M.R.K.},
TITLE = {A framework for incremental learning of logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {1},
PAGES = {191-213},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Albrecht-Crossley-Jeavons/97,
AUTHOR = {Albrecht, David and Crossley, John N. and Jeavons, John S.},
TITLE = {New Curry-Howard terms for full linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {2},
PAGES = {217-235},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Jay/97,
AUTHOR = {Jay, C. Barry},
TITLE = {Covariant types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {2},
PAGES = {237-258},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lin/97a,
AUTHOR = {Lin, Xuemin},
TITLE = {A fully distributed quorum consensus method with high fault-tolerance and low communication overhead},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {2},
PAGES = {259-275},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mason/97,
AUTHOR = {Mason, Ian A.},
TITLE = {A first order logic of effects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {2},
PAGES = {277-318},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Orgun-Du/97,
AUTHOR = {Orgun, Mehmet A. and Du, Weichang},
TITLE = {Multi-dimensional logic programming: Theoretical foundations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {2},
PAGES = {319-345},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Pantziou-Roberts-Symvonis/97,
AUTHOR = {Pantziou, Grammati E. and Roberts, Alan and Symvonis, Antonis},
TITLE = {Many-to-many routing on trees via matchings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {2},
PAGES = {347-377},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Vincent/97,
AUTHOR = {Vincent, Millist W.},
TITLE = {A corrected 5NF definition for relational database design},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {2},
PAGES = {379-391},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Weibel/97,
AUTHOR = {Weibel, Trudy},
TITLE = {An order-sorted resolution in theory and practice},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {185},
NUMBER = {2},
PAGES = {393-410},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Brogi-Lamma-Mancarella-Mello/97,
AUTHOR = {Brogi, Antonio and Lamma, Evelina and Mancarella, Paolo and Mello, Paola},
TITLE = {A unifying view for logic programming with non-monotonic reasoning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {184},
NUMBER = {1-2},
PAGES = {1-59},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Wagner/97a,
AUTHOR = {Wagner, Kim Ritter},
TITLE = {Liminf convergence in $\Omega$-categories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {184},
NUMBER = {1-2},
PAGES = {61-104},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Andrews/97,
AUTHOR = {Andrews, James},
TITLE = {A logical semantics for depth-first Prolog with ground negation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {184},
NUMBER = {1-2},
PAGES = {105-143},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Burmeister-Rossello-Torrens-Valiente/97,
AUTHOR = {Burmeister, P. and Rossell{\'{o}}, F. and Torrens, J. and Valiente, G.},
TITLE = {Algebraic transformation of unary partial algebras --- I. Double-pushout approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {184},
NUMBER = {1-2},
PAGES = {145-193},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Su/97,
AUTHOR = {Su, Jianwen},
TITLE = {Dynamic constraints and object migration},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {184},
NUMBER = {1-2},
PAGES = {195-236},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lacoste/97,
AUTHOR = {Lacoste, Thierry},
TITLE = {0-1 laws by preservation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {184},
NUMBER = {1-2},
PAGES = {237-245},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ito-Kari-Thierrin/97,
AUTHOR = {Ito, Masami and Kari, Lila and Thierrin, Gabriel},
TITLE = {Insertion and deletion closure of languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {1},
PAGES = {3-19},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Raz/97,
AUTHOR = {Raz, Danny},
TITLE = {Length considerations in context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {1},
PAGES = {21-32},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ilie/97a,
AUTHOR = {Ilie, Lucian},
TITLE = {On computational complexity of contextual languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {1},
PAGES = {33-44},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{de_Luca/97a,
AUTHOR = {de Luca, Aldo},
TITLE = {Sturmian words: Structure, combinatorics, and their artihmetics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {1},
PAGES = {45-82},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Choffrut-Harju-Karhumaki/97,
AUTHOR = {Choffrut, C. and Harju, T. and Karhum{\"a}ki, J.},
TITLE = {A note on decidability questions on presentations of word semigroups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {1},
PAGES = {83-92},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Maler-Staiger/97,
AUTHOR = {Maler, Oded and Staiger, Ludwig},
TITLE = {On syntactic congruences for $\omega$-languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {1},
PAGES = {93-112},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Honkala-Kuich/97,
AUTHOR = {Honkala, Juha and Kuich, Werner},
TITLE = {On Lindenmayerian algebraic power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {1},
PAGES = {113-142},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Honkala/97b,
AUTHOR = {Honkala, Juha},
TITLE = {On Lindenmayerian algebraic sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {1},
PAGES = {143-154},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Haxthausen/97,
AUTHOR = {Haxthausen, Anne Elisabeth},
TITLE = {Order-sorted algebraic specifications with higher-order functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {2},
PAGES = {157-185},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Montanari-Rijke/97,
AUTHOR = {Montanari, Angelo and Rijke, Maarten de},
TITLE = {Two-sorted metric temporal logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {2},
PAGES = {187-214},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Dam/97,
AUTHOR = {Dam, Mads},
TITLE = {On the decidability of process equivalences for the $\pi$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {2},
PAGES = {215-228},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cheng/97,
AUTHOR = {Cheng, Allan},
TITLE = {Petri nets, traces, and local model checking},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {2},
PAGES = {229-251},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Collette-Knapp/97,
AUTHOR = {Collette, Pierre and Knapp, Edgar},
TITLE = {A foundation for modular reasoning about safety and progress properties of state-based concurrent programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {2},
PAGES = {253-279},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Falaschi-Gabbrielli-Marriott-Palamidessi/97a,
AUTHOR = {Falaschi, Moreno and Gabbrielli, Maurizio and Marriott, Kim and Palamidessi, Catuscia},
TITLE = {Confluence in concurrent constraint programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {183},
NUMBER = {2},
PAGES = {281-315},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Czech-Havas-Majewski/97,
AUTHOR = {Czech, Zbigniew J. and Havas, George and Majewski, Bohdan S.},
TITLE = {Perfect hashing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {1-143},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Atkinson-Tulley/97,
AUTHOR = {Atkinson, M.D. and Tulley, D.},
TITLE = {Bounded capacity priority queues},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {145-157},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Abello-Dolev/97,
AUTHOR = {Abello, James and Dolev, Shlomi},
TITLE = {On the computational power of self-stabilizing systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {159-170},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Gao-Hwang/97,
AUTHOR = {Gao, B. and Hwang, F.K.},
TITLE = {Wide-sense nonblocking for multirate 3-stage close networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {171-182},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cadoli-Donini-Schaerf-Silvestri/97,
AUTHOR = {Cadoli, Marco and Donini, Francesco M. and Schaerf, Marco and Silvestri, Riccardo},
TITLE = {On compact representations of propositional circumscription},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {183-202},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Koole/97,
AUTHOR = {Koole, Ger},
TITLE = {Assigning a single server to inhomogeneous queues with switching costs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {203-216},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mundici-Trombetta/97,
AUTHOR = {Mundici, Daniele and Trombetta, Alberto},
TITLE = {Optimal comparison strategies in Ulam's searching game with two errors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {217-232},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bafna-Lawler-Pevzner/97,
AUTHOR = {Bafna, Vineet and Lawler, Eugene L. and Pevzner, Pavel A.},
TITLE = {Approximation algorithms for multiple sequence alignment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {233-244},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lam/97a,
AUTHOR = {Lam, Nguyen Huong},
TITLE = {Haj{\'o}s, factorizations and completion of codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {182},
NUMBER = {1-2},
PAGES = {245-256},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Asano-Ranjan-Roos-Welzl-Widmayer/97,
AUTHOR = {Asano, Tetsuo and Ranjan, Desh and Roos, Thomas and Welzl, Emo and Widmayer, Peter},
TITLE = {Space-filling curves and their use in the design of geometric data structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {3-15},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bruyere-Hansel/97,
AUTHOR = {Bruy{\`{e}}re, V{\'{e}}ronique and Hansel, Georges},
TITLE = {Bertrand numeration systems and recognizability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {17-43},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Chaudhuri-Dubhashi/97,
AUTHOR = {Chaudhuri, Shiva and Dubhashi, Devdatt},
TITLE = {Probabilistic recurrence relations revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {45-56},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fernandez-Baca-Slutzki/97a,
AUTHOR = {Fern{\'{a}}ndez-Baca, David and Slutzki, Giora},
TITLE = {Linear-time algorithms for parametric minimum spanning tree problems on planar graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {57-74},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Feuerstein/97,
AUTHOR = {Feuerstein, Esteban},
TITLE = {Paging more than one page},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {75-90},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{de_Figueiredo-Meidanis-Mello/97,
AUTHOR = {de Figueiredo, Celina M.H. and Meidanis, Jo{\~a}o and Mello, C{\'{e}}lia Picinin de},
TITLE = {On edge-colouring indifference graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {91-106},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Galbiati-Morzenti-Maffioli/97,
AUTHOR = {Galbiati, Giulia and Morzenti, Angelo and Maffioli, Francesco},
TITLE = {On the approximability of some maximum spanning tree problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {107-118},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Gasarch-Guimaraes/97,
AUTHOR = {Gasarch, William I. and Guimar{\~a}es, Katia S.},
TITLE = {Binary search and recursive graph problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {119-139},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Herzog/97,
AUTHOR = {Herzog, Christian},
TITLE = {Pushdown automata with bounded nondeterminism and bounded ambiguity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {141-157},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lopresti-Tomkins/97,
AUTHOR = {Lopresti, Daniel and Tomkins, Andrew},
TITLE = {Block edit models for approximate string matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {159-179},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Prodinger/97,
AUTHOR = {Prodinger, Helmut},
TITLE = {On a problem of Yekutieli and Mandelbrot about the bifurcation ratio of binary trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {181-194},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Wang/97h,
AUTHOR = {Wang, Farn},
TITLE = {A temporal logic for real-time partial ordering with named transactions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {1},
PAGES = {195-225},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Belanger-Wang/97,
AUTHOR = {Belanger, Jay and Wang, Jie},
TITLE = {No $NP$ problems averaging over ranking of distributions are harder},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {229-245},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Chen/97d,
AUTHOR = {Chen, Jianer},
TITLE = {Algorithmic graph embeddings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {247-266},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Diaz-Gibbons-Pantziou-Serna-Spirakis-Toran/97,
AUTHOR = {D{\'{i}}az, Josep and Gibbons, Alan and Pantziou, Grammati E. and Serna, Maria J. and Spirakis, Paul G. and Toran, Jacobo},
TITLE = {Parallel algorithms for the minimum cut and the minimum length tree layout problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {267-287},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kobayashi/97a,
AUTHOR = {Kobayashi, Kojiro},
TITLE = {Transformations that preserve malignness of universal distributions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {289-306},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lingas/97,
AUTHOR = {Lingas, Andrzej},
TITLE = {Maximum tree-packing in time $O(n^{5/2})$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {307-316},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Sakurai/97,
AUTHOR = {Sakurai, Kouichi},
TITLE = {Practical proofs of knowledge without relying on theoretical proofs of membership on languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {317-335},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Tromp-Zhang-Zhao/97,
AUTHOR = {Tromp, John and Zhang, Louxin and Zhao, Ying},
TITLE = {Small weight bases for Hamming codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {337-345},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Wan-Yang-Kelley/97,
AUTHOR = {Wan, Peng-Jun and Yang, Qifan and Kelley, Dean},
TITLE = {A $\frac{3}{2}\log3$-competitive algorithm for the counterfeit coin problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {347-356},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Yu-Yung/97,
AUTHOR = {Yu, Xiangdong and Yung, Moti},
TITLE = {Scheduling task-trees with additive scales on parallel-distributed machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {357-378},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Krumke-Marathe-Noltemeier-Radhakrishnan-Ravi-Rosenkrantz/97,
AUTHOR = {Krumke, S.O. and Marathe, M.V. and Noltemeier, H. and Radhakrishnan, V. and Ravi, S.S. and Rosenkrantz, D.J.},
TITLE = {Compact location problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {181},
NUMBER = {2},
PAGES = {379-404},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Madonia-Varricchio/97,
AUTHOR = {Madonia, Marina and Varricchio, Stefano},
TITLE = {Some decisional problems on rational relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {1-15},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Arvind-Vinodchandran/97,
AUTHOR = {Arvind, V. and Vinodchandran, N.V.},
TITLE = {Solvable black-box group problems are low for $PP$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {17-45},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hosaka-Takenaga-Kaneda-Yajima/97,
AUTHOR = {Hosaka, K. and Takenaga, Y. and Kaneda, T. and Yajima, S.},
TITLE = {Size of ordered binary decision diagrams representing threshold functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {47-60},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bassino/97,
AUTHOR = {Bassino, Fr{\'e}d{\'e}rique},
TITLE = {Nonnegative companion matrices and star-height of $N$-rational series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {61-80},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Garel/97,
AUTHOR = {Garel, E.},
TITLE = {S{\'e}parateurs dans les mots infinis engendr{\'e}s par morphismes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {81-113},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Sagot-Viari-Soldano/97,
AUTHOR = {Sagot, Marie-France and Viari, Alain and Soldano, Henri},
TITLE = {Multiple sequence comparison --- A peptide matching approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {115-137},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Yamamoto/97,
AUTHOR = {Yamamoto, Hiroaki},
TITLE = {On the power of alternation on reversal-bounded alternating Turing machines with a restriction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {139-154},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Chen-Homer/97,
AUTHOR = {Chen, Zhixiang and Homer, Steven},
TITLE = {Learning counting functions with queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {155-168},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Shen-Liang/97,
AUTHOR = {Shen, Hong and Liang, Weifa},
TITLE = {Efficient enumeration of all minimal separators in a graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {169-180},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Pomerance-Robson-Shallit/97,
AUTHOR = {Pomerance, Carl and Robson, John Michael and Shallit, Jeffrey},
TITLE = {Automaticity II: Descriptional complexity in the unary case},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {181-201},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Leung/97,
AUTHOR = {Leung, Vitus J.},
TITLE = {The undecidability of the unrestricted modified edit distance},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {203-215},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Grigoriev/97a,
AUTHOR = {Grigoriev, D.},
TITLE = {Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {217-228},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Matamala/97a,
AUTHOR = {Matamala, Mart{\'{i}}n},
TITLE = {Alternation on cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {229-241},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Andreev-Clementi-Rolim/97b,
AUTHOR = {Andreev, Alexander E. and Clementi, Andrea E.F. and Rolim, Jos{\'{e}} D.P.},
TITLE = {Optimal bounds for the approximation of Boolean functions and some applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {243-268},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Giakoumakis-Vanherpe/97,
AUTHOR = {Giakoumakis, Vassilis and Vanherpe, Jean-Marie},
TITLE = {On extended $P_4$-reducible and extended $P_4$-sparse graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {269-286},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Codenotti-Datta-Datta-Leoncini/97,
AUTHOR = {Codenotti, Bruno and Datta, Biswa N. and Datta, Karabi and Leoncini, Mauro},
TITLE = {Parallel algorithms for certain matrix computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {287-308},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Karpinski-Larmore-Rytter/97,
AUTHOR = {Karpinski, Marek and Larmore, Lawrence L. and Rytter, Wojciech},
TITLE = {Correctness of constructing optimal alphabetic trees revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {309-324},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Peladeau-Straubing-Therien/97,
AUTHOR = {P{\'{e}}ladeau, Pierre and Straubing, Howard and Th{\'{e}}rien, Denis},
TITLE = {Finite semigroup varieties defined by programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {325-339},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kudlek-Mateescu/97a,
AUTHOR = {Kudlek, Mandred and Mateescu, Alexandru},
TITLE = {On distributed catenation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {341-352},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Dassow-Mitrana/97,
AUTHOR = {Dassow, J{\"u}ren and Mitrana, Victor},
TITLE = {Cooperation in context-free grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {353-361},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Sirvent/97,
AUTHOR = {Sirvent, V{\'{i}}ctor F.},
TITLE = {On some dynamical subsets of the Rauzy fractal},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {363-370},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{David-Nour/97,
AUTHOR = {David, Ren{\'{e}} and Nour, Karim},
TITLE = {A syntactical proof of the operational equivalence of two $\lambda$-terms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {180},
NUMBER = {1-2},
PAGES = {371-375},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bloom-Esik/97a,
AUTHOR = {Bloom, Stephen L. and {\'{E}}sik, Zolt{\'{a}}n},
TITLE = {The equational logic of fixed points},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {1-60},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Keesmaat-Kleijn/97a,
AUTHOR = {Keesmaat, N.W. and Kleijn, H.C.M.},
TITLE = {Restrictions and representations of vector controlled concurrent system behaviours},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {61-102},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Doornbos-Backhouse-Woude/97,
AUTHOR = {Doornbos, Henk and Backhouse, Roland and Woude, Jaap van der},
TITLE = {A calculational approach to mathematical induction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {103-135},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Berline-Grue/97,
AUTHOR = {Berline, Chantal and Grue, Klaus},
TITLE = {A $\kappa$-denotational semantics for map theory in ZFC+SI},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {137-202},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
NOTE = {see Addendum in Theor.~Comput.~Sci.\ 211, 397-398},
}
@article{Castellani-Zhang/97,
AUTHOR = {Castellani, Ilaria and Zhang, Guo-Qiang},
TITLE = {Parallel product of event structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {203-215},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Baier/97,
AUTHOR = {Baier, Christel},
TITLE = {Trees and semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {217-250},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Gruska-Monti-Napoli-Parente/97,
AUTHOR = {Gruska, Jozef and Monti, Angelo and Napoli, Margherita and Parente, Domenico},
TITLE = {Succinctness of descriptions of SBTA-languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {251-271},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Alagic-Alagic/97,
AUTHOR = {Alagi{\'c}, Suad and Alagi{\'c}, Mara},
TITLE = {Order-sorted model theory for temporal executable specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {273-299},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Yen/97a,
AUTHOR = {Yen, Hsu-Chun},
TITLE = {On reachability equivalence for BPP-nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {301-317},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Sigstam-Stoltenberg-Hansen/97,
AUTHOR = {Sigstam, Inger and Stoltenberg-Hansen, Viggo},
TITLE = {Representability of locally compact regular spaces by domains and formal spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {319-331},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lamport/97,
AUTHOR = {Lamport, Leslie},
TITLE = {Processes are in the eye of the beholder},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {333-351},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Gurevich-Huggins/97,
AUTHOR = {Gurevich, Yuri and Huggins, James K.},
TITLE = {Equivalence is in the eye of the beholder},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {353-380},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ibarra-Tran-Yang/97,
AUTHOR = {Ibarra, Oscar H. and Tran, Nicholas Q. and Yang, Tao},
TITLE = {On the parallel complexity of loops},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {381-395},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Eloranta-Tienari-Valmari/97,
AUTHOR = {Eloranta, Jaana and Tienari, Martti and Valmari, Antti},
TITLE = {Essential transitions to bisimulation equivalences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {397-419},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Koslowski/97,
AUTHOR = {Koslowski, J{\"u}rgen},
TITLE = {Note on free algebras over continuous domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {421-425},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Duntsch/97,
AUTHOR = {D{\"u}ntsch, Ivo},
TITLE = {A logic for rough sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {179},
NUMBER = {1-2},
PAGES = {427-436},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Chang-Paige/97,
AUTHOR = {Chang, Chia-Hsiang and Paige, Robert},
TITLE = {From regular expressions to DFA's using compressed NFA's},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {1-36},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Clote/97a,
AUTHOR = {Clote, P.},
TITLE = {Nondeterministic stack register machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {37-76},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cattaneo-Vogliotti/97,
AUTHOR = {Cattaneo, G. and Vogliotti, C. Quaranta},
TITLE = {The ``magic'' rule spaces of neural-like elementary cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {77-102},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Atkinson-Livesey-Tulley/97,
AUTHOR = {Atkinson, M.D. and Livesey, M.J. and Tulley, D.},
TITLE = {Permutations generated by token passing in graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {103-118},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Munier-Hanen/97,
AUTHOR = {Munier, A. and Hanen, C.},
TITLE = {Using duplication for scheduling unitary tasks on $m$ processors with unit communication delays},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {119-127},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kucherov-Rusinowitch/97,
AUTHOR = {Kucherov, Gregory and Rusinowitch, Micha{\"e}l},
TITLE = {Matching a set of strings with variable length don't cares},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {129-154},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Strauss/97a,
AUTHOR = {Strauss, Martin},
TITLE = {Normal numbers and sources for BPP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {155-169},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Berstel-Luca/97,
AUTHOR = {Berstel, Jean and Luca, Aldo de},
TITLE = {Sturmian words, Lyndon words and trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {171-203},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{de_Luca/97,
AUTHOR = {de Luca, Aldo},
TITLE = {Standard Sturmian morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {205-224},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Damaschke/97c,
AUTHOR = {Damaschke, Peter},
TITLE = {An optimal parallel algorithm for digital curve segmentation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {225-236},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Browne-Clarke-Jha-Long-Marrero/97,
AUTHOR = {Browne, A. and Clarke, E.M. and Jha, S. and Long, D.E. and Marrero, W.},
TITLE = {An improved algorithm for the evaluation of fixpoint expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {237-255},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Higgins/97,
AUTHOR = {Higgins, Peter M.},
TITLE = {A proof of Simon's theorem on piecewise testable languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {257-264},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kopidakis-Zissimopoulos/97,
AUTHOR = {Kopidakis, Y. and Zissimopoulos, V.},
TITLE = {An approximation scheme for scheduling independent jobs into subcubes of a hypercube of fixed dimension},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {265-273},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Latteux-Simplot/97a,
AUTHOR = {Latteux, Michel and Simplot, David},
TITLE = {Recognizable picture languages and domino tiling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {178},
NUMBER = {1-2},
PAGES = {275-283},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Anderson-Power/97,
AUTHOR = {Anderson, S.O. and Power, A.J.},
TITLE = {A representable approach to finite nondeterminism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {3-25},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Brauner/97,
AUTHOR = {Bra{\"u}ner, Torben},
TITLE = {A general adequacy result for a linear functional language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {27-58},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bucciarelli/97,
AUTHOR = {Bucciarelli, Antonio},
TITLE = {Degrees of parallelism in the continuous type hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {59-71},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Cockett-Spooner/97,
AUTHOR = {Cockett, J.R.B. and Spooner, David A.},
TITLE = {Constructing process categories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {73-109},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Flagg-Kopperman/97,
AUTHOR = {Flagg, Bob and Kopperman, Ralph},
TITLE = {Continuity spaces: Reconciling domains and metric spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {111-138},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Nolte-Priese/97,
AUTHOR = {Nolte, Doris and Priese, Lutz},
TITLE = {Abstract fairness and semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {139-153},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Zhang-Rounds/97,
AUTHOR = {Zhang, Guo-Qiang and Rounds, William C.},
TITLE = {Defaults in domain theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {155-182},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Leavens-Pigozzi/97,
AUTHOR = {Leavens, Gray T. and Pigozzi, Don},
TITLE = {The behavior-realization adjunction and generalized homomorphic relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {183-216},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Esik/97,
AUTHOR = {{\'{E}}sik, Z.},
TITLE = {Completeness of Park induction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {1},
PAGES = {217-283},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Vrancken/97,
AUTHOR = {Vrancken, J.L.M.},
TITLE = {The algebra of communicating processes with empty process},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {2},
PAGES = {287-328},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{van_Glabbeek/97,
AUTHOR = {van Glabbeek, R.J.},
TITLE = {Notes on the methodology of CCS and CSP},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {2},
PAGES = {329-349},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{DArgenio-Verhoef/97,
AUTHOR = {D'Argenio, Pedro R. and Verhoef, Chris},
TITLE = {A general conservative extension theorem in process algebras with inequalities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {2},
PAGES = {351-380},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Baeten-Bergstra/97,
AUTHOR = {Baeten, J.C.M. and Bergstra, J.A.},
TITLE = {Process algebra with propositional signals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {2},
PAGES = {381-405},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fokkink-Zantema/97,
AUTHOR = {Fokkink, Wan and Zantema, Hans},
TITLE = {Termination modulo equations by abstract commutation with an application to iteration},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {2},
PAGES = {407-423},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{van_Wamel/97,
AUTHOR = {van Wamel, Jos},
TITLE = {Process algebra with language matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {2},
PAGES = {425-458},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fredlund-Groote-Korver/97,
AUTHOR = {Fredlund, Lars-{\aa}ke and Groote, Jan Friso and Korver, Henri},
TITLE = {Formal verification of a leader election protocol in process algebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {2},
PAGES = {459-486},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bezem-Ponse/97,
AUTHOR = {Bezem, Marc and Ponse, Alban},
TITLE = {Two finite specifications of a queue},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {177},
NUMBER = {2},
PAGES = {487-507},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Wu-Smolka-Stark/97,
AUTHOR = {Wu, Sue-Hwey and Smolka, Scott A. and Stark, Eugene W.},
TITLE = {Composition and behaviors of probabilistic I/O automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {1-38},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Chiola-Dutheillet-Franceschinis-Haddad/97,
AUTHOR = {Chiola, G. and Dutheillet, C. and Franceschinis, G. and Haddad, S.},
TITLE = {A symbolic reachability graph for coloured Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {39-65},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Comon-Treinen/97,
AUTHOR = {Comon, Hubert and Treinen, Ralf},
TITLE = {The first-order theory of lexicographic path orderings is undecidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {67-87},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hoover/97,
AUTHOR = {Hoover, D.N.},
TITLE = {Limiting semantics of numerical programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {89-110},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hermann-Galbavy/97,
AUTHOR = {Hermann, Miki and Galbav{\'y}, Roman},
TITLE = {Unification of infinite sets of terms schematized by primal grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {111-158},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Martini-Masini/97,
AUTHOR = {Martini, Simone and Masini, Andrea},
TITLE = {Experiments in linear natural deduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {159-173},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Matos/97,
AUTHOR = {Matos, Armando B.},
TITLE = {Monadic logic programs and funtional complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {175-204},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hartonas/97,
AUTHOR = {Hartonas, Chrysafis},
TITLE = {Semantics for finite delay},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {205-234},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Pierce-Steffen/97,
AUTHOR = {Pierce, Benjamin and Steffen, Martin},
TITLE = {Higher-order subtyping},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {235-282},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Suciu/97,
AUTHOR = {Suciu, Dan},
TITLE = {Bounded fixpoints for complex objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {283-328},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Dybjer/97,
AUTHOR = {Dybjer, Peter},
TITLE = {Representing inductively defined sets by wellorderings in Martin-L{\"o}f's type theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {329-335},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Castagna/97,
AUTHOR = {Castagna, Giuseppe},
TITLE = {Unifying overloading and $\lambda$-abstraction: $\lambda^{\{\}}$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {337-345},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Massol/97,
AUTHOR = {Massol, A.},
TITLE = {Minimality of the system of seven equations for the category of finite sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {176},
NUMBER = {1-2},
PAGES = {347-353},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ershov/97,
AUTHOR = {Ershov, Yu.L.},
TITLE = {The bounded-complete hull of an $\alpha$-space},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {1},
PAGES = {3-13},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Shilov/97,
AUTHOR = {Shilov, N.V.},
TITLE = {Program schemata vs. automata for decidability of program logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {1},
PAGES = {15-27},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kobayashi/97,
AUTHOR = {Kobayashi, Satoshi},
TITLE = {Monad as modality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {1},
PAGES = {29-74},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Sato/97a,
AUTHOR = {Sato, Masahiko},
TITLE = {Intuitionistic and classical natural deduction systems with the catch and the throw rules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {1},
PAGES = {75-92},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kennaway-Klop-Sleep-Vries/97,
AUTHOR = {Kennaway, J.R. and Klop, J.W. and Sleep, M.R. and Vries, F.J. de},
TITLE = {Infinitary lambda calulus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {1},
PAGES = {93-125},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Middeldorp-Zantema/97,
AUTHOR = {Middeldorp, Aart and Zantema, Hans},
TITLE = {Simple termination of rewrite systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {1},
PAGES = {127-158},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{van_Oostrom/97,
AUTHOR = {van Oostrom, Vincent},
TITLE = {Developing developments},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {1},
PAGES = {159-181},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lisitsa-Sazonov/97a,
AUTHOR = {Lisitsa, Alexei and Sazonov, Vladimir},
TITLE = {$\Delta$-languages for sets and LOGSPACE computable graph transformers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {1},
PAGES = {183-222},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bouchitte-Rampon/97,
AUTHOR = {Bouchitt{\'{e}}, Vincent and Rampon, Jean-Xavier},
TITLE = {On-line algorithms for orders},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {225-238},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bauernoppel-Kranakis-Krizanc-Maheshwari-Sack-Urrutia/97,
AUTHOR = {Bauern{\"o}ppel, Frank and Kranakis, Evangelos and Krizanc, Danny and Maheshwari, Anil and Sack, J{\"o}rg-R{\"u}diger and Urrutia, Jorge},
TITLE = {Planar stage graphs: Characterizations and applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {239-255},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ekin-Hammer-Peled/97,
AUTHOR = {Ekin, Oya and Hammer, Peter L. and Peled, Uri N.},
TITLE = {Horn functions and submodular Boolean functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {257-270},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ewacha-Rival-Zaguia/97,
AUTHOR = {Ewacha, Kevin and Rival, Ivan and Zaguia, Nejib},
TITLE = {Approximating the number of linear extensions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {271-282},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Felsner/97,
AUTHOR = {Felsner, Stefan},
TITLE = {On-line chain partitions of orders},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {283-292},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{de_la_Higuera-Nourine/97,
AUTHOR = {de la Higuera, Colin and Nourine, Lhouari},
TITLE = {Drawing and encoding two-dimensional posets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {293-308},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kloks-Kratsch-Spinrad/97,
AUTHOR = {Kloks, Ton and Kratsch, Dieter and Spinrad, Jeremy},
TITLE = {On treewidth and minimum fill-in of asteroidal triple-free graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {309-335},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mitas-Reuter/97,
AUTHOR = {Mitas, Jutta and Reuter, Klaus},
TITLE = {Cover-preserving embeddings of bipartite orders into boolean lattices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {337-347},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Peer-Shamir/97a,
AUTHOR = {Pe'er, Itsik and Shamir, Ron},
TITLE = {Satisfiability problems on intervals and unit intervals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {349-372},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Talamo-Vocca/97,
AUTHOR = {Talamo, M. and Vocca, P.},
TITLE = {A data structure for lattice representation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {373-392},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Viennot/97,
AUTHOR = {Viennot, Laurent},
TITLE = {Parallel $N$-free order recognition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {175},
NUMBER = {2},
PAGES = {393-406},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Litovsky-Steiger/97,
AUTHOR = {Litovsky, Igor and Steiger, Ludwig},
TITLE = {Finite acceptance of infinite words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {1-21},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Marathe-Radhakrishnan-Hunt-Ravi/97,
AUTHOR = {Marathe, Madhav V. and Radhakrishnan, Venkatesh and Hunt III, Harry B. and Ravi, S.S.},
TITLE = {Hierarchically specified unit disk graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {23-65},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bracho-Droste-Kuske/97,
AUTHOR = {Bracho, Felipe and Droste, Manfred and Kuske, Dietrich},
TITLE = {Representation of computations in concurrent automata by dependence orders},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {67-96},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arora-Fagin/97,
AUTHOR = {Arora, Sanjeev and Fagin, Ronald},
TITLE = {On winning strategies in Ehrenfeucht-Fra{\"i}ss{\'e} games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {97-121},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Orponen/97,
AUTHOR = {Orponen, Pekka},
TITLE = {Computing with truly asynchronous threshold logic networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {123-136},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Krause-Pudlak/97,
AUTHOR = {Krause, Matthias and Pudl{\'{a}}k, Pavel},
TITLE = {On the computational power of depth-2 circuits with threshold and modulo gates},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {137-156},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Favati-Lotti-Margara/97,
AUTHOR = {Favati, Paola and Lotti, Grazia and Margara, Luciano},
TITLE = {Additive one-dimensional cellular automata are chaotic according to Devaney's definition of chaos},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {157-170},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Santini-Bouchard/97,
AUTHOR = {Santini-Bouchard, Marie-Line},
TITLE = {Echanges de trois intervalles et suites minimales},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {171-191},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Berman-Lingas/97,
AUTHOR = {Berman, Piotr and Lingas, Andrzej},
TITLE = {A nearly optimal parallel algorithm for the Voronoi diagram of a convex polygon},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {193-202},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kurka/97,
AUTHOR = {K{\r{u}}rka, Petr},
TITLE = {On topological dynamics of Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {203-216},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finkel-McKenzie/97,
AUTHOR = {Finkel, Alain and McKenzie, Pierre},
TITLE = {Verifying identical communicating processes is undecidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {217-230},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mullins/97,
AUTHOR = {Mullins, John},
TITLE = {On an effective hierarchy of communicating processes: Separation principle and testing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {231-246},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Yamasaki/97,
AUTHOR = {Yamasaki, Y{\~o}hei},
TITLE = {The arithmetic of reversed positional games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {247-249},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kobayashi-Yokomori/97,
AUTHOR = {Kobayashi, Satoshi and Yokomori, Takashi},
TITLE = {Learning approximately regular languages with reversible languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {251-257},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Takahashi/97,
AUTHOR = {Takahashi, Nobuyuki},
TITLE = {Various hierarchies of $\omega$-regular sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {259-268},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Turakainen/97,
AUTHOR = {Turakainen, P.},
TITLE = {The undecidability of some equivalence problems concerning ngsm's and finite substitutions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {269-274},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Zhang-Canfield/97,
AUTHOR = {Zhang, Guo-Qiang and Canfield, E. Rodney},
TITLE = {The end of pumping?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {174},
NUMBER = {1-2},
PAGES = {275-279},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Michel-Hentenryck/97,
AUTHOR = {Michel, Laurent and Hentenryck, Pascal van},
TITLE = {Helios: A modeling language for global optimization and its implementation in Newton},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {3-48},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bjorner-Browne-Manna/97,
AUTHOR = {Bjorner, Nikolaj and Browne, Anca and Manna, Zohar},
TITLE = {Automatic generation of invariants and intermediate assertions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {49-87},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Koubarakis/97a,
AUTHOR = {Koubarakis, Manolis},
TITLE = {From local to global consistency in temporal constraint networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {89-112},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Maher/97,
AUTHOR = {Maher, Michael J.},
TITLE = {Constrained dependencies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {113-149},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grumbach-Su/97a,
AUTHOR = {Grumbach, St{\'{e}}phanie and Su, Jianwen},
TITLE = {Queries with arithmetical constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {151-181},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ajili-Contejean/97,
AUTHOR = {Ajili, Farid and Contejean, Evelyne},
TITLE = {Avoiding slack variables in the solving of linear diophantine equations and inequations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {183-208},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Marriott-Odersky/97,
AUTHOR = {Marriott, Kim and Odersky, Martin},
TITLE = {A confluent calculus for concurrent constraint programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {209-233},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Podelski-Smolka/97,
AUTHOR = {Podelski, Andreas and Smolka, Gert},
TITLE = {Situated simplification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {235-252},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Girodias-Cerny-Older/97,
AUTHOR = {Girodias, Pierre and Cerny, Eduard and Older, William J.},
TITLE = {Solving linear, min and max constraint systems using CLP based on relational interval arithmetic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {253-281},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dechter-Beek/97,
AUTHOR = {Dechter, Rina and Beek, Peter van},
TITLE = {Local and global relational consistency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {1},
PAGES = {283-308},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cerioli-Meseguer/97,
AUTHOR = {Cerioli, Maura and Meseguer, Jos{\'{e}}},
TITLE = {May I borrow your logic? (Transporting logical structures along maps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {2},
PAGES = {311-347},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jouannaud-Okada/97,
AUTHOR = {Jouannaud, Jean-Pierre and Okada, Mitsuhiro},
TITLE = {Abstract data type systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {2},
PAGES = {349-391},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hennicker-Wirsing-Bidoit/97,
AUTHOR = {Hennicker, Rolf and Wirsing, Martin and Bidoit, Michel},
TITLE = {Proof systems for structured specifications with observability operators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {2},
PAGES = {393-443},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kahrs-Sannella-Tarlecki/97,
AUTHOR = {Kahrs, Stefan and Sannella, Donald and Tarlecki, Andrzej},
TITLE = {The definition of extended ML: A gentle introduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {2},
PAGES = {445-484},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Orejas-Pino-Ehrig/97,
AUTHOR = {Orejas, Fernando and Pino, Elvira and Ehrig, Hartmut},
TITLE = {Institutions for logic programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {2},
PAGES = {485-511},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Costa-Reggio/97,
AUTHOR = {Costa, Gerardo and Reggio, Gianna},
TITLE = {Specification of abstract dynamic-data types: A temporal logic approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {173},
NUMBER = {2},
PAGES = {513-554},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Edmonds/97,
AUTHOR = {Edmonds, Jeff},
TITLE = {Removing Ramsey theory: Lower bounds with smaller domain size},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {1-41},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fischer-Hoffgen-Lefmann/97,
AUTHOR = {Fischer, Paul and H{\"o}ffgen, Klaus-Uwe and Lefmann, Hanno},
TITLE = {PAC-learning from general examples},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {43-65},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Fagnot/97a,
AUTHOR = {Fagnot, Isabelle},
TITLE = {Sur les facteurs des mots automatiques},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {67-89},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Apolloni-Chiaravalli/97,
AUTHOR = {Apolloni, B. and Chiaravalli, S.},
TITLE = {PAC learning of concept classes through the boundaries of their items},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {91-120},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Goles-Margenstern/97,
AUTHOR = {Goles, Eric and Margenstern, Maurice},
TITLE = {Universality of the chip-firing game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {121-134},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Handley/97,
AUTHOR = {Handley, W.G.},
TITLE = {Deterministic summation modulo $\cal B_n$, the semigroup of binary relations on $\{0,1,...,n-1\}$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {135-174},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Kant-He/97,
AUTHOR = {Kant, Goos and He, Xin},
TITLE = {Regular edge labeling of 4-connected plane graphs and its applications in graph drawing problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {175-193},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ambos-Spies-Terwijn-Zheng/97,
AUTHOR = {Ambos-Spies, Klaus and Terwijn, Sebastiaan A. and Zheng, Xizhong},
TITLE = {Resource bounded randomness and weakly complete problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {195-207},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Brandstadt-Dragan-Nicolai/97,
AUTHOR = {Brandst{\"a}dt, Andreas and Dragan, Feodor F. and Nicolai, Falk},
TITLE = {Homogeneously orderable graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {209-232},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Dendris-Kirousis-Thilikos/97,
AUTHOR = {Dendris, Nick D. and Kirousis, Lefteris M. and Thilikos, Dimitrios M.},
TITLE = {Fugitive-search games on graphs and related parameters},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {233-254},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hohl/97,
AUTHOR = {Hohl, Jean-Christoph},
TITLE = {Massively parallel factorizations of polynomials with many non-commuting variables},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {255-263},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Shimozono/97,
AUTHOR = {Shimozono, Shinichi},
TITLE = {Finding optimal subgraphs by local search},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {265-271},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Rystsov/97,
AUTHOR = {Rystsov, Igor},
TITLE = {Reset words for commmutative and solvable automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {273-279},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Iliopoulos-Moore-Smyth/97,
AUTHOR = {Iliopoulos, Costas S. and Moore, Dennis and Smyth, W.F.},
TITLE = {A characterization of the squares in a Fibonacci string},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {281-291},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Savicky-Zak/97a,
AUTHOR = {Savick{\'y}, Petr and {\v{Z}}{\'{a}}k, Stanislav},
TITLE = {A lower bound on branching programs reading some bits twice},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {293-301},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Rote/97,
AUTHOR = {Rote, G{\"u}nter},
TITLE = {Finding a shortest vector in a two-dimensional lattice modulo $m$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {303-308},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hoogeboom-Muscholl/97,
AUTHOR = {Hoogeboom, Hendrik Jan and Muscholl, Anca},
TITLE = {The code problem for traces --- Improving the boundaries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {172},
NUMBER = {1-2},
PAGES = {309-321},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Ausiello-Giaccio/97,
AUTHOR = {Ausiello, Giorgio and Giaccio, Roberto},
TITLE = {On-line algorithms for satisfiability problems with uncertainty},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {3-24},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Koubarakis/97,
AUTHOR = {Koubarakis, Manolis},
TITLE = {The complexity of query evaluation in indefinite temporal constraint databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {25-60},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ruet-Fages/97,
AUTHOR = {Ruet, Paul and Fages, Fran{\c{c}}ois},
TITLE = {Combining explicit negation and negation by failure via Belnap's logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {61-75},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mobasher-Pigozzi-Slutzki/97,
AUTHOR = {Mobasher, Bamshad and Pigozzi, Don and Slutzki, Giora},
TITLE = {Multi-valued logic programming semantics: An algebraic approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {77-109},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nerode-Remmel-Subrahmanian/97,
AUTHOR = {Nerode, A. and Remmel, J.B. and Subrahmanian, V.S.},
TITLE = {Annotated nonmonotonic rule systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {111-146},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ngo-Haddawy/97,
AUTHOR = {Ngo, Liem and Haddawy, Peter},
TITLE = {Answering queries from context-sensitive probabilistic knowledge bases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {147-177},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Zimanyi/97,
AUTHOR = {Zim{\'{a}}nyi, Esteban},
TITLE = {Query evaluation in probabilistic relational databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {179-219},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kohlas/97,
AUTHOR = {Kohlas, J{\"u}rg},
TITLE = {Allocation of arguments and evidence theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {221-246},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chatalic-Froidevaux-Schwind/97,
AUTHOR = {Chatalic, Philippe and Froidevaux, Christine and Schwind, Camilla},
TITLE = {Graded hypothesis theories},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {247-280},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bosc-Dubois-Pivert-Prade/97,
AUTHOR = {Bosc, Patrick and Dubois, Diedier and Pivert, Olivier and Prade, Henri},
TITLE = {Flexible queries in relational databases --- The example of the division operator},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {171},
NUMBER = {1-2},
PAGES = {281-302},
YEAR = {1997},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}