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...
Sábháilte in:
Údar corparáideach: | SpringerLink (Online service) |
---|---|
Rannpháirtithe: | Jipsen, Peter, Kahl, Wolfram, Muller, Martin Eric, Hofner, Peter |
Formáid: | Ríomhleabhar |
Teanga: | English |
Foilsithe / Cruthaithe: |
Cham
Springer International Publishing
2014.
|
Sraith: | Lecture Notes in Computer Science
8428 |
Ábhair: | |
Rochtain ar líne: | Click here to view the full text content |
Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
Míreanna comhchosúla
-
Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Foilsithe / Cruthaithe: (2012) -
Formal concept analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Foilsithe / Cruthaithe: (2009) -
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Foilsithe / Cruthaithe: (2013) -
Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Foilsithe / Cruthaithe: (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 /
Foilsithe / Cruthaithe: (2006)