@article{Abadi-Pierce-Plotkin/91,
AUTHOR = {Abadi, Mart{\'{i}}n and Pierce, Benjamin and Plotkin, Gordon},
TITLE = {Faithful ideal models for recursive polymorphic types},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {1},
PAGES = {1-21},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Wilmes/91,
AUTHOR = {Wilmes, Thomas},
TITLE = {Functional production systems viewed as grammars},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {1},
PAGES = {23-41},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Bergstra-Mauw-Wiedijk/91,
AUTHOR = {Bergstra, J.A. and Mauw, S. and Wiedijk, F.},
TITLE = {Uniform algebraic specifications of finite sets with equality},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {1},
PAGES = {43-65},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Cai-Furst/91,
AUTHOR = {Cai, Jin-Yi and Furst, Merrick},
TITLE = {PSPACE survives constant-width bottlenecks},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {1},
PAGES = {67-76},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Zanko/91,
AUTHOR = {Zank{\'{o}}, Vikt{\'{o}}ria},
TITLE = {\#$P$-completeness via many-one reductions},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {1},
PAGES = {77-82},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Arvind-Biswas/91,
AUTHOR = {Arvind, V. and Biswas, S.},
TITLE = {Edge-deletion graph problems with first-order expressible subgraph properties},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {2},
PAGES = {83-99},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Nguyen/91,
AUTHOR = {Nguyen, Thanh Tung},
TITLE = {A relational model of demonic nondeterministic programs},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {2},
PAGES = {101-131},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Bodlaender/91,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {On the complexity of some coloring games},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {2},
PAGES = {133-147},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Hirokawa/91,
AUTHOR = {Hirokawa, Sachio},
TITLE = {Principal type assignment to lambda terms},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {2},
PAGES = {149-162},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Jiang-McDowell-Ravikumar/91,
AUTHOR = {Jiang, Tao and McDowell, Edward and Ravikumar, B.},
TITLE = {The structure and complexity of minimal NFA's over a unary alphabet},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {2},
PAGES = {163-182},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Huynh/91,
AUTHOR = {Huynh, Dung T.},
TITLE = {Efficient detectors and constructors for simple languages},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {3},
PAGES = {183-205},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Chen-Toda/91,
AUTHOR = {Chen, Zhi-Zhong and Toda, Seinosuke},
TITLE = {On the complexity of computing optimal solutions},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {3},
PAGES = {207-220},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Monti-Parente/91,
AUTHOR = {Monti, A. and Parente, D.},
TITLE = {Systolic tree with base automata},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {3},
PAGES = {221-236},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Hemachandra-Jain/91,
AUTHOR = {Hemachandra, Lane A. and Jain, Sanjay},
TITLE = {On the limitations of locally robust positive reductions},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {3},
PAGES = {237-255},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Metivier-Rozoy/91,
AUTHOR = {M{\'{e}}tivier, Yves and Rozoy, Brigitte},
TITLE = {On the star operation in free partially commutative monoids},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {3},
PAGES = {257-265},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Tucker-Zucker/91,
AUTHOR = {Tucker, J.V. and Zucker, J.I.},
TITLE = {Projections of semicomputable relations on abstract data types},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {3},
PAGES = {267-296},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Marti-Oliet-Meseguer/91,
AUTHOR = {Mart{\'{i}}-Oliet, Narciso and Meseguer, Jos{\'{e}}},
TITLE = {From Petri nets to linear logic through categories: A survey},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {4},
PAGES = {297-399},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Inoue-Ito-Takanami/91,
AUTHOR = {Inoue, Katsushi and Ito, Akira and Takanami, Itsuo},
TITLE = {Alternating Turing machines with modified accepting structure},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {4},
PAGES = {401-417},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}
@article{Panti/91,
AUTHOR = {Panti, Giovanni},
TITLE = {Solution of a number theoretic problem involving knowledge},
JOURNAL = {International Journal of Foundations of Computer Science},
VOLUME = {2},
NUMBER = {4},
PAGES = {419-424},
YEAR = {1991},
PUBLISHER = {World Scientific Publishing Co.},
ADDRESS = {Singapore-New Jersey-London-Hong Kong-Bangalore},
}