INSTITUTO SUPERIOR TÉCNICO
10
0
0
Texto
Documentos relacionados
A deductive system over a de- ductive signature is a m-graph where the nodes are language expressions, that is, morphisms of the category generated by the deductive m-graph
