Sandra Alves. Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction. SIGLOG News, 3(4):50-54, 2016. [doi]
@article{Alves16-0, title = {Report on FSCD 2016: 1st International Conference on Formal Structures for Computation and Deduction}, author = {Sandra Alves}, year = {2016}, url = {http://dl.acm.org/citation.cfm?id=3044205}, researchr = {https://researchr.org/publication/Alves16-0}, cites = {0}, citedby = {0}, journal = {SIGLOG News}, volume = {3}, number = {4}, pages = {50-54}, }