1 |
| Warren, David Scott (ed.) |
| |
| | 1999 | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | [Wiedermann, Jiri]
[van Emde Boas, Peter]
[Nielsen, Mogen] | | Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | Proceedings Article | |
| | 1995 | Krishna Rao, M. R. K. | [Wiedermann, Jirí]
[Hájek, Petr] | | Graph reducibility of term rewriting systems
In: Proceedings of Mathematical Foundations of Computer Science, 371-381 | Proceedings Article | |
1 |
| Williams, Denise A. (ed.) |
| |
1 |
| Woeginger, Gerhard J. (ed.) |
| |