@article{Paun/85,
AUTHOR = {P{\u{a}}un, G.},
TITLE = {A variant of random context grammars: semi-conditional grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {1-17},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Inst. of Math., Bucuresti, Romania},
}
@article{Goles/85,
AUTHOR = {Goles, E.},
TITLE = {Dynamics of positive automata networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {19-32},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. Matematicas, Chile Univ., Santiago, Chile},
}
@article{Cazanescu/85,
AUTHOR = {Cazanescu, V.E.},
TITLE = {On context-free trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {33-50},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Bucharest Univ., Romania},
}
@article{Gohon/85,
AUTHOR = {Gohon, P.},
TITLE = {An algorithm to decide whether a rational subset of $N^k$ is recognizable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {51-59},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Lab. d'Inf., Univ. de Haute-Normandie, Mt.St. Aignan, France},
}
@article{Barbin-Le_Rest-Rest/85,
AUTHOR = {Barbin-Le Rest, E. and Rest, M. Le},
TITLE = {On the combinatorial of two-word codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {61-80},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Lab. d'Inf., Maine Univ., Le Mans, France},
}
@article{Iliopoulos/85a,
AUTHOR = {Iliopoulos, C.S.},
TITLE = {Computing in general Abelian groups is hard},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {81-93},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Warwick Univ., Coventry, England},
}
@article{Hayashi/85,
AUTHOR = {Hayashi, S.},
TITLE = {Adjunction of semifunctors: categorical structures in nonextensional Lambda calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {95-104},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Res. Inst. for Math. Sci., Kyoto Univ., Japan},
}
@article{Maon/85,
AUTHOR = {Maon, Y.},
TITLE = {On the equivalence problem of compositions of morphisms and inverse morphisms on context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {105-107},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Tel-Aviv Univ., Israel},
}
@article{Thibon/85,
AUTHOR = {Thibon, J.-Y.},
TITLE = {Integrity of algebras of formal series on a partially commutative alphabet},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {109-112},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Paris Univ., Paris, France},
}
@article{Bunder/85a,
AUTHOR = {Bunder, M.W.},
TITLE = {Possible forms of evaluation or reduction in Martin-Lof type theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {113-120},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Wollongong Univ., NSW, Australia},
}
@article{Albert-Lawrence/85,
AUTHOR = {Albert, M.H. and Lawrence, J.},
TITLE = {A proof of Ehrenfeucht's conjecture},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {1},
PAGES = {121-123},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Pure Math., Waterloo Univ., Ont., Canada},
}
@article{Helfrich/85,
AUTHOR = {Helfrich, B.},
TITLE = {Algorithms to construct Minkowski reduced and Hermite reduced lattice bases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {125-139},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Fachbereich Math., Johann Wolfgang Goethe-Univ., Frankfurt-Main, Germany},
}
@article{Monien-Sudborough/85,
AUTHOR = {Monien, B. and Sudborough, I.H.},
TITLE = {Bandwidth constrained $NP$-complete problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {141-167},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Fachbereich Math. und Inf., Paderborn Univ., Germany},
}
@article{Dahlhaus-Gaifman/85,
AUTHOR = {Dahlhaus, E. and Gaifman, H.},
TITLE = {Concerning two-adjacent context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {169-184},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Tech. Univ. of Berlin, Germany},
}
@article{Reisig/85,
AUTHOR = {Reisig, W.},
TITLE = {Petri nets with individual tokens},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {185-213},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Gesellschaft f{\"u}r Math. und Datenverarbeitung, St. Augustin, Germany},
}
@article{Karhumaki/85,
AUTHOR = {Karhum{\"a}ki, J.},
TITLE = {A property of three-element codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {215-222},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Turku Univ., Finland},
}
@article{Tomita-Seino/85,
AUTHOR = {Tomita, E. and Seino, K.},
TITLE = {A weaker sufficient condition for the equivalence of a pair of DPDAs to be decidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {223-230},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Commun. Eng., Univ. of Electro-Commun., Tokyo, Japan},
}
@article{Ibarra-Palis-Kim/85,
AUTHOR = {Ibarra, O.H. and Palis, M.A. and Kim, S.M.},
TITLE = {Fast parallel language recognition by cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {231-246},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA},
}
@article{Pelz/85,
AUTHOR = {Pelz, E.},
TITLE = {On the complexity of theories of permutations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {247-269},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {LRI, Univ. de Paris-Sud, Orsay, France},
}
@article{Grant-Minker/85,
AUTHOR = {Grant, J. and Minker, J.},
TITLE = {Inferences for numerical dependencies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {271-287},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. \& Inf. Sci., Towson State Univ., MD, USA},
}
@article{Hirokawa/85,
AUTHOR = {Hirokawa, S.},
TITLE = {Complexity of the combinator reduction machine},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {289-303},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Shizuoka Univ., Hamamatsu, Japan},
}
@article{Slutzki/85,
AUTHOR = {Slutzki, G.},
TITLE = {Alternating tree automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {305-318},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Comput. Sci., Iowa State Univ., Ames, IA, USA},
}
@article{Stoss/85,
AUTHOR = {Stoss, H.-J.},
TITLE = {The complexity of evaluating interpolation polynomials},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {319-323},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Math., Konstanz Univ., Germany},
}
@article{Meyer_auf_der_Heide/85f,
AUTHOR = {Meyer auf der Heide, F.},
TITLE = {Simulating probabilistic by deterministic algebraic computation trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {325-330},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {IBM Res. Lab., San Jose, CA, USA},
}
@article{Inoue-Takanami-Vollmar/85,
AUTHOR = {Inoue, K. and Takanami, I. and Vollmar, R.},
TITLE = {Alternating on-line Turing machines with only universal states and small space bounds},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {41},
NUMBER = {2-3},
PAGES = {331-339},
YEAR = {1985},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
INSTITUTION = {Dept. of Electron., Yamaguchi Univ., Ube, Japan},
}