首页> 外文OA文献 >Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

【2h】

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

机译：与各州的矢量加法系统中可达性集合的共同性和共空

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Petr Jančar; Jérôme Leroux; Grégoire Sutre;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States [J] . Jancar Petr, Leroux Jerome, Sutre Gregoire Fundamenta Informaticae . 2019,第1a2期

机译：与各州的矢量加法系统中可达性集合的共同性和共空
2. Separability of Reachability Sets of Vector Addition Systems [J] . Lorenzo Clemente, Wojciech Czerwinski, Slawomir Lasota, LIPIcs : Leibniz International Proceedings in Informatics . 2017,第30期

机译：载体加法系统可分离性集合
3. Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free [J] . Jér?me Leroux, Grgoire Sutre LIPIcs : Leibniz International Proceedings in Informatics . 2020,第30期

机译：具有状态的二维载体添加系统中的可达性：一个测试是免费的
4. Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States [C] . Petr Jancar, Jerome Leroux, Gregoire Sutre International Conference on Application and Theory of Petri Nets and Concurrency . 2018

机译：与各州的矢量加法系统中可达性集合的共同性和共空
5. Reachable Set Computation and Analysis for Perturbed Linear Systems [D] . Arora, Prabhjeet Singh. 2018

机译：可扰动线性系统的可达集合计算与分析
6. Focus Issue on Vector Systems for Plant Research and Biotechnology: A Set of Modular Binary Vectors for Transformation of Cereals [O] . Axel Himmelbach, Uwe Zierold, Götz Hensel, 2007

机译：用于植物研究和生物技术的载体系统的重点问题：用于谷物转化的一组模块化二进制载体
7. Separability of Reachability Sets of Vector Addition Systems [O] . Clemente Lorenzo, Czerwinski Wojciech, Lasota Slawomir, 2017

机译：矢量加法系统的可达性集的可分性
8. Projections of Vector Addition System Reachability Sets Are Semilinear [R] . Buening, H. K., Lettmann, T., Mayr, E. W. 1988

机译：矢量加法系统可达性集的预测是半线性的

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

著录项

引文网络

相似文献

相关主题

期刊订阅