Browsing by Subject "First-order logic"
Now showing items 1-1 of 1
-
Relational approach of graph grammars
(2010) [Thesis]Gramática de grafos é uma linguagem formal bastante adequada para sistemas cujos estados possuem uma topologia complexa (que envolvem vários tipos de elementos e diferentes tipos de relações entre eles) e cujo comportamento ...