Login / Signup
Towards a Navigational Logic for Graphical Structures.
Leen Lambers
Marisa Navarro
Fernando Orejas
Elvira Pino
Published in:
Graph Transformation, Specifications, and Nets (2018)
Keyphrases
</>
logic programming
proof theory
database
artificial neural networks
modal logic
automated reasoning
classical logic
graphical representations
data mining
artificial intelligence
information systems
image structure
digital circuits