Effective optimization with weighted automata on decomposable trees-Reference-Cited by-同舟云学术

Effective optimization with weighted automata on decomposable trees

Published:2014-01-02 Issue:1 Volume:63 Page:109-127
ISSN:0233-1934
Container-title:Optimization
language:en
Short-container-title:Optimization

Author:

Ravve E.V.,Volkovich Z.,Weber G.-W.

Publisher

Informa UK Limited

Subject

Applied Mathematics,Management Science and Operations Research,Control and Optimization

Link

http://www.tandfonline.com/doi/pdf/10.1080/02331934.2013.865735

Reference30 articles.

1. On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines

2. Some aspects of studying an optimization or decision problem in different computational models

3. Weak Second-Order Arithmetic and Finite Automata

4. Decision problems of finite automata design and related arithmetics

5. Droste M, Gastin P. Weighted automata and weighted logics. Research Report LSV-05-13, Labiratoire Spécification et Vérification, Ecole Normal Supérieure Cachan 61, avenue du Président Wilson 94235 Cachan Cedex France; 2005.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Logic-Based Approach to Incremental Reasoning on Multi-agent Systems;Springer Proceedings in Mathematics & Statistics;2021

2. Logic-Based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams;Lecture Notes in Computer Science;2020

3. Incremental Reasoning on Strongly Distributed Multi-agent Systems;2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2015-09