Now showing items 1-1 of 1
El "unravelling" para bigráficas diferenciales
El 'unravelling' para bigráficas diferenciales
Here are examined the main properties of the algorithm called ¨unravelling¨ for differential bigraphs. This algorithm was originally developed for differential graded categories and was useful in the proof the celebrated ...