Relational and algebraic methods in computer science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings /
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured...
Na minha lista:
Autor Corporativo: | SpringerLink (Online service) |
---|---|
Outros Autores: | Jipsen, Peter, Kahl, Wolfram, Muller, Martin Eric, Hofner, Peter |
Formato: | livro electrónico |
Idioma: | English |
Publicado em: |
Cham
Springer International Publishing
2014.
|
Colecção: | Lecture Notes in Computer Science
8428 |
Assuntos: | |
Acesso em linha: | Click here to view the full text content |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registos relacionados
-
Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Publicado em: (2012) -
Formal concept analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Publicado em: (2009) -
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Publicado em: (2013) -
Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Publicado em: (2013) -
Relations and kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings /
Publicado em: (2006)