Bart Vergauwen and Johan Lewi. A linear algorithm for solving fixed-point equations on transition systems. In J.-C. Raoult, editor, Proceedings of 17'th Colloquium on Trees in Algebra and Programming, CAAP'92, Rennes, France, volume 581 of LNCS, pages... Rudiments of Calculus - Strona 273pod redakcją - 2001 - Liczba stron: 298Ograniczony podgląd - Informacje o książce
| Pierre Wolper - 1995 - Liczba stron: 468
...search and linear graph algorithms. SIAM J. Cornput., 2(1), June 1972. [VL92] Bart Vergauwen and Johan Lewi. A linear algorithm for solving fixed-point equations on transition systems. In J.-C. Raoult, editor, Proceedings of 17'th Colloquium on Trees in Algebra and Programming, CAAP'92, Rennes, France, volume... | |
| |