Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011, Proceedings

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011, Proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: De Swart, Harrie 1944- (VerfasserIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2011
Schriftenreihe:Lecture Notes in Computer Science 6663
Schlagworte:
Kleene-Algebra
Algebraische Spezifikation
Relationenalgebra
Mathematische Logik
Algebraische Methode
Paperback / softback
Research
combinatorial optimization
formal algebraic modeling
formal language theory
graph theory
process algebras
Konferenzschrift > 2011 > Rotterdam
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:1 Online-Ressource (VIII, 361 S.) graph. Darst.
ISBN:9783642210709
DOI:10.1007/978-3-642-21070-9

Ähnliche Einträge