Skip to main content
FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION. INTERNATIONAL CONFERENCE. 8TH 2023. (FSCD 2023)
- Item #:
- 071379
- UPC:
Details
-
Title:
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
-
Date/Location:
Held 3-6 July 2023, Rome, Italy.
-
Series:
Leibniz International Proceedings in Informatics Volume 260
-
Editor:
Gaboardi, M. and Van Raamsdonk, F.
-
ISBN:
9781713881339
-
Pages:
638 (1 Vol)
-
Format:
Softcover
-
TOC Link:
View Table of Contents
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Dec 2023 )
-
Title:
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
-
Date/Location:
Held 3-6 July 2023, Rome, Italy.
-
Series:
Leibniz International Proceedings in Informatics Volume 260
-
Editor:
Gaboardi, M. and Van Raamsdonk, F.
-
ISBN:
9781713881339
-
Pages:
638 (1 Vol)
-
Format:
Softcover
-
TOC Link:
View Table of Contents
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Dec 2023 )