default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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.
last updated on 2025-12-09 00:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
