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

10th International Conference on Formal Structures for Computation and Deduction

FSCD 2025, July 14-20, 2025, Birmingham, UK
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 337
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 <10, 2025, Birmingham>

Details

Search for this author
Year: 2025
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-374-4
ISBN (2nd): 3-95977-374-9
Series: Leibniz International Proceedings in Informatics; 337
Participating parties: Search for this character Fernández, Maribel
Media group: LIPIcs