Descriptional complexity of formal systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings / Henning Bordihn, Nicholas Tran, György Vaszil, editors.

This book constitutes the proceedings of the 25th International Conference on Descriptional Complexity of Format Systems, DCFS 2023, which took place in Potsdam, Germany, in July 2023. The 14 full papers, including one invited presentation as a full paper, presented in this volume were carefully rev...

Full description

Saved in:

Bibliographic Details
Corporate Author:	DCFS (Workshop) Potsdam, Germany)
Other Authors:	Bordihn, Henning (Editor), Tran, Nicholas (Editor), Vaszil, György (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer, [2023]
Series:	Lecture notes in computer science ; 13918.
Subjects:	Formal languages > Congresses. Machine theory > Congresses. Formal methods (Computer science) > Congresses. Formal languages Formal methods (Computer science) Machine theory Electronic books. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Online Access:	Click for online access

‌

Click for online access

Online

Holdings details from Online
Status:	Available

Descriptional complexity of formal systems : 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4-6, 2023, Proceedings / Henning Bordihn, Nicholas Tran, György Vaszil, editors.

‌

Online

Similar Items