Learn More
“Written by three of the leading researchers in the field, this book is without doubt the most comprehensive introduction to Dynamic Logic. During the past twenty-five years, Dynamic Logic has had a(More)
The higraph, a general kind of diagramming object, forms a visual formalism of topological nature. Higraphs are suited for a wide array of applications to databases, knowledge representation, and,(More)