A Characterization and Nearly Linear-Time Equivalence Test for μ-Branching Programs

✍ Scribed by V. Raghavan; D. Wilkins

• Publisher: Springer
• Year: 1997
• Tongue: English
• Weight: 589 KB
• Volume: 30
• Category: Article
• ISSN: 1433-0490
• DOI: 10.1007/s002240000053