ISSN 0001-5903 (Print)
Publisher: Springer Science and Media
Efficient algorithms for the transformation between different types of binary decision diagrams
Savicky, P.; Wegener, I.
On the interdependence between shuffle and crossing-over operations
Dynamic LL(k) parsing
Locality based semantics for process algebras
Corradini, F.; De Nicola, R.