Stop the war!
default search action
Theoretical Computer Science, Volume 611
Volume 611, January 2016
- Yuxi Fu:
Theory of interaction. 1-49
- Frédéric Blanqui:
Termination of rewrite relations on λ-terms based on Girard's notion of reducibility. 50-86
- Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück:
Fundamentals of reversible flowchart languages. 87-115
- Ming Xu, Lijun Zhang, David N. Jansen, Huibiao Zhu, Zongyuan Yang:
Multiphase until formulas over Markov reward models: An algebraic approach. 116-135
- Anca Muscholl, Sven Schewe:
Controlling loosely cooperating processes. 136-141
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.