Computing the shortest reset words of synchronizing automata
- 期刊名称Journal of Combinatorial Optimization
- 作者Kisielewicz, Andrzej; Kowalski, Jakub; Szykuła, Marek
- 卷第29卷
- 期第1期
- 印刷ISSN1382-6905
- 电子ISSN1573-2886
- 文件大小590.57KB
- 发表时间2015-1
- DOI10.1007/s10878-013-9682-0
- 页码88-124
Book reviewsRichard E. Barrett; Thomas K. Rudel; Stephen B. Brush; Tim W. Clark · 1993
On the functional orgins of essentialismH. Clark Barrett · 2001
Inner city disadvantage and family functioningA. F. Clark; L. Barrett; I. Kolvin · 2000
Validating More Loop OptimizationsYing Hu; Clark Barrett; Benjamin Goldberg; Amir Pnueli · 2005
Enzymatic Computation and Cognitive ModularityH. Clark Barrett · 2005
Centrosomes and cancerJeffrey L Salisbury; Clark M Whitehead; Wilma L Lingle; Susan L Barrett · 1999
Centrosomes and cancerJeffrey L Salisbury; Clark M Whitehead; Wilma L Lingle; Susan L Barrett · 1999
Rise of the humansH. Clark Barrett · 2004
The Incredible ELKKazakov, Yevgeny; Krötzsch, Markus; Simančík, František · Journal of Automated Reasoning · 2014
Labelings for Decreasing DiagramsZankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart · Journal of Automated Reasoning · 2015
Absorption for ABoxesWu, Jiewen; Hudek, Alexander; Toman, David; Weddell, Grant · Journal of Automated Reasoning · 2014
Definitional Expansions in MizarKorniłowicz, Artur · Journal of Automated Reasoning · 2015
Reverse ComplexityAsperti, Andrea · Journal of Automated Reasoning · 2015
An Experiment with Satisfiability Modulo SATZhang, Hantao · Journal of Automated Reasoning · 2016
MizAR 40 for Mizar 40Kaliszyk, Cezary; Urban, Josef · Journal of Automated Reasoning · 2015
Mark Stickel: His Earliest WorkLoveland, Donald W. · Journal of Automated Reasoning · 2016