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

4th International Conference on Formal Structures for Computation and Deduction

FSCD 2019 : June 24 - 30, 2019, Dortmund, Germany
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 131
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 <4, 2019, Dortmund>

Details

Search for this author
Year: 2019
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-107-8
ISBN (2nd): 3-95977-107-X
Series: Leibniz International Proceedings in Informatics; 131
Participating parties: Search for this character Geuvers, Herman
Media group: LIPIcs