default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 612
Volume 612, January 2016
- Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier
, Riccardo Traverso:
Parameterized verification of time-sensitive models of ad hoc network protocols. 1-22 - Zhaowei Xu, Yuefei Sui, Wenhui Zhang:
Completeness of Hoare logic with inputs over the standard model. 23-28 - Bas Luttik:
Unique parallel decomposition in branching and weak bisimulation semantics. 29-44 - Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma:
Model checking computation tree logic over finite lattices. 45-62 - Chanjuan Liu, Fenrong Liu, Kaile Su, Enqiang Zhu:
A logical characterization of extensive games with short sight. 63-82 - Friedrich Slivovsky, Stefan Szeider:
Soundness of Q-resolution with dependency schemes. 83-101 - Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
On the existence and decidability of unique decompositions of processes in the applied π-calculus. 102-125 - Mingyuan Wu, Lankun Guo, Qingguo Li:
A representation of L-domains by information systems. 126-136 - Alex Gavryushkin, Bakhadyr Khoussainov, Frank Stephan:
Reducibilities among equivalence relations induced by recursively enumerable structures. 137-152
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-10-29 01:38 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:
