@article{Aggarwal-Chandra-Snir/90,
AUTHOR = {Aggarwal, Alok and Chandra, Ashok K. and Snir, Marc},
TITLE = {Communication complexity of PRAMs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {3-28},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Culik/90,
AUTHOR = {Culik II, Karel},
TITLE = {New techniques for proving the decidability of equivalence problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {29-45},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gruska/90a,
AUTHOR = {Gruska, Jozef},
TITLE = {Synthesis, structure and power of systolic computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {47-77},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Hartmanis/90,
AUTHOR = {Hartmanis, J.},
TITLE = {New developments in structural complexity theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {79-93},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Kruskal-Rudolph-Snir/90a,
AUTHOR = {Kruskal, Clyde P. and Rudolph, Larry and Snir, Marc},
TITLE = {A complexity theory of efficient parallel algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {95-132},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Thiagarajan/90,
AUTHOR = {Thiagarajan, P.S.},
TITLE = {Some behavioural aspects of net theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {133-153},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Weijland/90,
AUTHOR = {Weijland, W.P.},
TITLE = {Semantics for logic programs without occur check},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {155-174},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Arcangeli-Pomian/90,
AUTHOR = {Arcangeli, Jean-Paul and Pomian, Christian},
TITLE = {Principles of plasma pattern and alternative structure compilation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {177-191},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Billaud/90,
AUTHOR = {Billaud, Michel},
TITLE = {Simple operational and denotational semantics for prolog with cut},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {193-208},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Bulyonkov/90,
AUTHOR = {Bulyonkov, Mikhail},
TITLE = {Mixed computation and compilation: New approaches to old problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {209-226},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Galmiche/90,
AUTHOR = {Galmiche, Didier},
TITLE = {Constructive system for automatic program synthesis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {227-239},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Penjam/90,
AUTHOR = {Penjam, Jaan},
TITLE = {Computational and attribute models of formal languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {241-264},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sabelfeld/90,
AUTHOR = {Sabelfeld, Victor K.},
TITLE = {An algorithm deciding functional equivalence in a new class of program schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {265-279},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Senizergues/90,
AUTHOR = {S{\'e}nizergues, G{\'e}raud},
TITLE = {Some decision problems about controlled rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {281-346},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Ehrig-Parisi-Presicce-Boehm-Rieckhoff-Dimitrovici-Grosse-Rhode/90,
AUTHOR = {Ehrig, Hartmut and Parisi-Presicce, Francesco and Boehm, Paul and Rieckhoff, Catharina and Dimitrovici, Cristian and Grosse-Rhode, Martin},
TITLE = {Combining data type and recursive process specifications using projection algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {347-380},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Dulucq-Gouyou-Beauchamps/90,
AUTHOR = {Dulucq, S. and Gouyou-Beauchamps, D.},
TITLE = {Sur les facteurs des suites de Sturm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {381-400},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Gibbons-Rytter/90,
AUTHOR = {Gibbons, Alan and Rytter, Wojciech},
TITLE = {Optimally edge-colouring outerplanar graphs in NC},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {401-411},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Manes/90,
AUTHOR = {Manes, E.G.},
TITLE = {A transformational characterization of if-then-else},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {413-417},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chrobak-Szymacha-Krawczyk/90,
AUTHOR = {Chrobak, M. and Szymacha, T. and Krawczyk, A.},
TITLE = {A data structure useful for finding Hamiltonian cycles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {419-424},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Skandalis/90,
AUTHOR = {Skandalis, Kostas},
TITLE = {Non-recursiveness of the operations on real numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {71},
PAGES = {425-429},
YEAR = {1990},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}