@article{Grue/92,
AUTHOR = {Grue, Klaus},
TITLE = {Map theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {1-133},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{van_Bakel/92,
AUTHOR = {van Bakel, Steffen},
TITLE = {Complete restrictions of the intersection type discipline},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {135-163},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Devillers/92a,
AUTHOR = {Devillers, Raymond},
TITLE = {Maximality preserving bisimulation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {165-183},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Esparza-Silva/92,
AUTHOR = {Esparza, Javier and Silva, Manuel},
TITLE = {A polynomial-time algorithm to decide liveness of bounded free choice nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {185-205},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dosen/92,
AUTHOR = {Do{\v{s}}en, Kosta},
TITLE = {Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {207-214},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Bruschi/92,
AUTHOR = {Bruschi, Danilo},
TITLE = {Strong separations of the polynomial hierarchy with oracles: Constructive separations by immune and simple sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {215-252},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Skubiszewski/92,
AUTHOR = {Skubiszewski, Marcin},
TITLE = {Binary periodic synchronizing sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {253-281},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Dagum-Luby/92,
AUTHOR = {Dagum, Paul and Luby, Michael},
TITLE = {Approximating the permanent of graphs with large factors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {283-305},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Mirwald-Schnorr/92a,
AUTHOR = {Mirwald, R. and Schnorr, C.P.},
TITLE = {The multiplicative complexity of quadratic boolean forms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {307-328},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Halpenny-Smyth/92,
AUTHOR = {Halpenny, Liam and Smyth, Christopher J.},
TITLE = {A classification of minimal standard-path $2\times 2$ switching networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {329-354},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Prasad-Iyengar/92,
AUTHOR = {Prasad, Lakshman and Iyengar, S.S.},
TITLE = {An asymptotic equality for the number of necklaces in a shuffle-exchange network},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {102},
PAGES = {355-365},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}