Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 -- September 1, 2015

Author name not available (Why is that?)

Publication date: 4 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/323

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (4)

Proceedings of the second workshop on logical and semantic frameworks, with applications (LSFA 2007), Ouro Preto, Brazil, August 28--29, 2007 ⋮ Proceedings of the fourth workshop on logical and semantic frameworks, with applications (LSFA 2009), Brasilia, Brazil, August 28, 2009 ⋮ Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2--3, 2013 ⋮ 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019

This page was built for publication: Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 -- September 1, 2015

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736681)