Timed pushdown automata and branching vector addition systems

机译：定时下推自动机和分支向量加法系统

代理获取

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

页面导航

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

著录项

作者
Clemente Lorenzo; Lasota Slawomir; Lazic Ranko; Mazowiecki Filip;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems [J] . Clemente Lorenzo, Lasota Slawomir, Lazic Ranko, ACM transactions on computational logic . 2019,第3期

机译：定时寄存器下推自动机和分支向量加法系统的二进制可达性
2. Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems [J] . Clemente Lorenzo, Lasota Slawomir, Lazic Ranko, ACM transactions on computational logic . 2019,第3期

机译：定时登记推动自动机和分支矢量加法系统的二进制可达性
3. ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States [J] . Cotton-Barratt Conrad, Murawski Andrzej S., Ong C-H Luke 情報処理学会論文誌 . 2019,第2期

机译：ML，可视下推类内存自动机和带有状态的扩展分支向量加法系统
4. Timed pushdown automata and branching vector addition systems [C] . Lorenzo Clemente, Sławomir Lasota, Ranko Lazić, Annual ACM/IEEE Symposium on Logic in Computer Science . 2017

机译：定时下推自动机和分支向量加法系统
5. Verification of Probabilistic Branching Time Systems. [D] . Gorlin, Andrey. 2016

机译：验证概率分支时间系统。
6. Photopolarization of Fucus zygotes is determined by time sensitive vectorial addition of environmental cues during axis amplification [O] . Kenny A. Bogaert, Tom Beeckman, Olivier De Clerck 2015

机译：镰刀菌合子的光极化由轴扩增过程中对环境提示的时间敏感性矢量添加决定
7. FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems. [O] . Jacquemard, Florent, Segoufin, Luc, Dimino, Jérémie 2016

机译：数据树，数据树自动机和分支向量加法系统上的FO2（<，+ 1，〜）。

Timed pushdown automata and branching vector addition systems

著录项

引文网络

相似文献

相关主题

期刊订阅