Listar por tema "First-order logic"
Mostrando ítems 1-1 de 1
-
Relational approach of graph grammars
(2010) [Tesis]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 ...