Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20--22, 2006

From MaRDI portal
Publication:373596