Author:
Schmitt Peter H.,Goubault-Larrecq Jean
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. G. Ausiello, G. F. Italiano, A. Marchetti Spaccamela, and U. Nanni. Incremental algorithms for minimal length paths. In Proc. 1st ACM-SIAM Symposium on Discrete Algorithms, pages 12–21, 1990.
2. N. Bjørner, A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H. Sipma, and T. Uribe. STeP: Deductive-algorithmic verification of reactive and real-time systems. In Proc. 8th CAV Conference, 1996.
3. R. Bellman. On a routing problem. Quarterly of Applied Mathematics, 16(1):87–90, 1958.
4. C.-L. Chang and R. C.-T. Lee. Symbolic Logic and Mechanical Theorem Proving. Computer Science Classics. Academic Press, 1973.
5. C. Fermüller, A. Leitsch, T Tammet, and N. Zamov. Resolution Methods for the Decision Problem, volume 679 of LNCS. Springer-Verlag, 1993.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A History of Until;Electronic Notes in Theoretical Computer Science;2010-05
2. Logics of Linear Frames;Natural Deduction, Hybrid Systems and Modal Logics;2010
3. Labelled Tableaux for Distributed Temporal Logic;Journal of Logic and Computation;2009-07-07
4. Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus;Lecture Notes in Computer Science;2009
5. A Labeled Tableaux System for the Distributed Temporal Logic DTL;2008 15th International Symposium on Temporal Representation and Reasoning;2008-06