Knowledge Base of
Publications,
Seminars,
& Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Alfons Geser
1 results
Termination of Single-Threaded One-rule Semi-Thue Systems
| cite »
by Wojciech Moczydlowski, Alfons Geser
2005