Login / Signup

A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems.

Géraud Sénizergues
Published in: RTA (1995)
Keyphrases