Dynamic logic new trends and applications : third international workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers

Bibliographische Detailangaben

Körperschaft:	DaLí (VerfasserIn)
Weitere Verfasser:	Martins, Manuel A. (HerausgeberIn), Sedlár, Igor (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2020
Schriftenreihe:	Lecture notes in computer science 12569
Schlagworte:	Konferenzschrift > Dynamische Logik
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!