Dijkstra, Floyd and Warshall meet Kleene.

Peter Höfner Bernhard Möller

Published in: Formal Aspects Comput. (2012)

Keyphrases

propositional logic
regular expressions
database
high resolution
low level
error diffusion