A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java

We present a programming library for the rapid development of graph tools, with applications in graph transformation and related fields. Features include working with graphs, graph morphisms, basic categorical constructions such as computing pushouts and pushout complements or enumerating all morphi...

Descripción completa

Detalles Bibliográficos
Autores principales: Bruggink, H. J. Sander, König, Barbara, Matjeka, Marleen, Nolte, Dennis, Stoltenow, Lars
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314701/
http://dx.doi.org/10.1007/978-3-030-51372-6_17

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7314701/
http://dx.doi.org/10.1007/978-3-030-51372-6_17

Ejemplares similares