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

11th International Conference on Formal Structures for Computation and Deduction

FSCD 2026, Lisbon, Portugal, July 20-23, 2026
Search for this author
Year: 2026
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 378
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 <11, 2026, Lisbon>
Lisbon

Details

Search for this author
Year: 2026
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-433-8
ISBN (2nd): 3-95977-433-8
Series: Leibniz International Proceedings in Informatics; 378
Participating parties: Search for this character Pfenning, Frank
Media group: LIPIcs