Cover von 8th International Conference on Formal Structures for Computation and Deduction opens in new tab

8th International Conference on Formal Structures for Computation and Deduction

FSCD 2023 : July 3 - 6, 2023, Rome, Italy
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 260
Media group: LIPIcs
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: online only Location 2: ELECTRONIC EDITION Location 3: Status: OpenAccess

Content

International Conference on Formal Structures for Computation and Deduction <8, 2023, Rome>

Details

Search for this author
Year: 2023
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-277-8
ISBN (2nd): 3-95977-277-7
Description: 658 S.
Series: Leibniz International Proceedings in Informatics; 260
Participating parties: Search for this character Gaboardi, Marco; Raamsdonk, Femke van
Media group: LIPIcs