[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Distributed algorithms for updating shortest paths
- 作者Toueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris
- 文件大小757.04KB
- 发表时间1992
- DOI10.1007/bfb0022448
- 页码200-211
同作者推荐
Link inheritance in abstract clause graphsHans Jürgen Ohlbach · 1987
Elimination of Self-Resolving ClausesHans Jürgen Ohlbach · 1998
Thorough refereeingGABBAY, DOV; OHLBACH, HANS JÜRGEN; de QUEIROZ, RUY · Logic Journal of IGPL · 1994
Calendar LogicOhlbach, Hans Jürgen; Gabbay, Dov · Journal of Applied Non-Classical Logics · 1998
A note on assumptions about Skolem functionsHans Jürgen Ohlbach; Christoph Weidenbach · 1995
The Possibility of Generating True ConjecturesOHLBACH, HANS JÜRGEN; SCHMIDT, RENATE · Journal of Logic and Computation · 1993
Design Patterns für mathematische Beweise ||Ohlbach, Hans Jürgen; Eisinger, Norbert · 2017
Modal logics, description logics and arithmetic reasoningHans Jürgen Ohlbach; Jana Koehler · 1999