Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010
Title | Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010 |
Publication Type | Conference Proceedings |
Year of Conference | 2010 |
Editor | Mayordomo, E, Ferreira F, Löwe B, Gomes LM |
Series Title | Lecture Notes in Computer Science |
Volume | 6158 |
Publisher | Springer-Verlag |
URL | http://webdiis.unizar.es/~elvira/research.html |
Export |