You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
87-137
Original Article
A theory of structural stationarity in the π -Calculus
Roland Meyer
139-154
The time complexity of typechecking tree-walking tree transducers
Joost Engelfriet
155-168
Random walks for selected boolean implication and equivalence problems
K. Subramani, Hong-Jian Lai and Xiaofeng Gu
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info