Bitte beachten Sie auch das verfügbare Angebot an E-Books, die zurzeit noch nicht in unserem Katalog nachgewiesen sind, aber über die Verlagsportale bereits freigeschaltet sind.
The structure of relation algebras generated by relativizations
Givant, Steven R. - 1994
Signatur: TBR1664-156
Relationen und Graphen
  • Mathematik für Informatiker
Schmidt, Gunther; Ströhlein, Thomas - 1989
Signatur: TDB2228
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 [Elektronische Ressource]
  • Lecture Notes in Computer Science
Schmidt, Renate A. - 2006
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germ [Elektronische Ressource]
  • Lecture Notes in Computer Science
Berghammer, Rudolf; Möller, Bernhard; Struth, Georg - 2008
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Funktionen- und Relationenalgebren : ein Kapitel der diskreten Mathematik
Poeschel, Reinhard; Kalužnin, Lev A. - 1979
Signatur: TDW2469
Relational and Kleene-Algebraic Methods in Computer Science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers [Elektronische Ressource]
  • Lecture Notes in Computer Science
Berghammer, Rudolf; Möller, Bernhard; Struth, Georg - 2004
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Decision problems for equational theories of relation algebras
Andréka, Hajnal; Givant, Steven R.; Németi, István - 1997
Signatur: TBR1389-604
Relational Methods in Computer Science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharin [Elektronische Ressource]
  • Lecture Notes in Computer Science
MacCaull, Wendy; Düntsch, Ivo; Winter, Michael - 2006
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Swart, Harrie - 2011
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Universal algebra, algebraic logic, and databases
Plotkin, Boris Isaakovič - 1994
Signatur: TEH1250
Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Kahl, Wolfram; Griffin, Timothy G. - 2012
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings [Elektronische Ressource]
  • Lecture Notes in Computer Science
Höfner, Peter; Jipsen, Peter [editor]; Kahl, Wolfram [editor]; Müller, Martin Eric [editor] - 2014
Direkt zur Online-Ressource
Gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) erreichbar
Nach oben
Die Universität der Informationsgesellschaft