Linear Computation of the Maximum Simultaneous Forward and Backward Bisimulation for Node-Labeled Trees (Extended version)
Nils Grimsmo, Truls Amundsen Bjørklund and Magnus Lie Hetland
Bok Engelsk 2010
| Medvirkende | |
|---|---|
| Utgitt | Trondheim : Norwegian University of Science and Technology, Department of Computer and Information Science , 2010
|
| Omfang | [23] s.
|
