Visual Languages and Logic.

Philip T. Cox Andrew Fish John Howse

Published in: VL/HCC (2007)

Keyphrases

visual languages
logic programming
context free grammars
modal logic
predicate logic
classical logic
computational properties
database
machine learning
object oriented
automated reasoning
asynchronous circuits