Relational and Algebraic Methods in Computer Science
13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September
Kahl, Wolfram / G Griffin, /
Erscheinungsjahr:
2012
Beschreibung
InhaltsangabeApplications to Software Specification and Correctness.- Mechanised Resoning in Relational Algebras.- Algebraic Program DerivationTheoretical Foundations.- Incremental Pseudo Rectangular Organization of Information Relative.- Preference Relations.- Properties of Specialised Relations.- Author Index.
Autorenportrait
InhaltsangabeApplications to Software Specification and Correctness.- Mechanised Resoning in Relational Algebras.- Algebraic Program DerivationTheoretical Foundations.- Incremental Pseudo Rectangular Organization of Information Relative.- Preference Relations.- Properties of Specialised Relations.- Author Index.
