- 1989
- Friedhelm Hinz, Jürgen Dassow:
A undecidability result for regular anguages and its applications to regulated rewriting. Bull. EATCS 38: 168-173 (1989) - 1988
- Moshe Y. Vardi:
Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. PODS 1988: 341-351 - 1984
- Cornelia Kalfa:
Some Undecidability Results in Strong Algebraic Languages. J. Symb. Log. 49(3): 951-954 (1984) - Friedrich Otto:
Some Undecidability Results for Non-Monadic Church-Rosser Thue Systems. Theor. Comput. Sci. 33: 261-278 (1984) - 1980
- Narain H. Gehani:
Generic Procedures: An Implementation and an Undecidability Result. Comput. Lang. 5(3): 155-161 (1980) - 1979
- Wolfgang Schönfeld:
An Undecidability Result for Relation Algebras. J. Symb. Log. 44(1): 111-115 (1979) - 1972
- Raymond E. Miller:
Some Undecidability Results for Parallel Program Schemata. SIAM J. Comput. 1(1): 119-129 (1972)