首页> 外文OA文献 >Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints

【2h】

Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints

机译：具有树规则约束的动态下推网络的前集

页面导航

著录项
相似文献
相关主题

著录项

作者
Peter Lammich; Markus Müller-Olm; Alexander Wenner;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Fault-Tolerance Solution to Any Set of Failure Scenarios on Dynamic WDM Optical Networks With Wavelength Continuity Constraints [J] . Jara Nicolas, Pempelfort Hermann, Rubino Gerardo, Quality Control, Transactions . 2020,第期

机译：具有波长连续性约束的动态WDM光网络上的任何故障方案的容错解决方案
2. Model checking dynamic pushdown networks [J] . Fu Song, Tayssir Touili Formal Aspects of Computing . 2015,第2期

机译：模型检查动态下推式网络
3. Weighted Dynamic Pushdown Networks [J] . Alexander Wenner OASIcs : OpenAccess Series in Informatics . 2009,第2期

机译：加权动态下推式网络
4. Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints [C] . Peter Lammich, Markus Mueller-Olm, Alexander Wenner Computer aided verification . 2009

机译：具有树规则约束的动态下推网络的前集
5. New Applications of Constraint-Based Modeling: Network Comparisons, Thermodynamic Feasibility, and Community Dynamics. [D] . Hamilton, Joshua James. 2014

机译：基于约束的建模的新应用：网络比较，热力学可行性和社区动力学。
6. Computing minimal nutrient sets from metabolic networks via linear constraint solving [O] . Steven Eker, Markus Krummenacker, Alexander G Shearer, 2013

机译：通过线性约束求解从代谢网络计算最小养分集
7. Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming [O] . Stephanie Chevalier, Christine Froidevaux, Loic Pauleve, 2019

机译：使用答案集编程综合生物动态约束的布尔网络

Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints

著录项

相似文献

相关主题

期刊订阅