Dialectica Petri Nets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Di Lavore, Elena, Leal, Wilmer, de Paiva, Valeria
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Category Theory Logic in Computer Science 03B70, 18M45, 19D23, 18D15, 18B10, 05C20, 05C76
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2105.12801