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...
Gespeichert in:
Körperschaft: | SpringerLink (Online service) |
---|---|
Weitere Verfasser: | Jipsen, Peter, Kahl, Wolfram, Muller, Martin Eric, Hofner, Peter |
Format: | E-Book |
Sprache: | English |
Veröffentlicht: |
Cham
Springer International Publishing
2014.
|
Schriftenreihe: | Lecture Notes in Computer Science
8428 |
Schlagworte: | |
Online Zugang: | Click here to view the full text content |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
-
Relational and algebraic methods in computer science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Veröffentlicht: (2012) -
Formal concept analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Veröffentlicht: (2009) -
Algebraic informatics : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings /
Veröffentlicht: (2013) -
Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Veröffentlicht: (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 /
Veröffentlicht: (2006)