Options
Title
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016
Title Supplement
22nd - 26th June 2016, Porto, Portugal
Person Involved
Publisher
Publishing Place
Saarbrücken/Wadern
Publication Date
2016
Series
Leibniz International Proceedings in Informatics. LIPIcs; 52
ISBN
978-3-95977-010-1