You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

Konstrukcje architekturalne w kategorii fragmentów

Speaker(s)
Grzegorz Marczyński
Affiliation
Uniwersytet Warszawski
Date
Dec. 20, 2010, 10:15 a.m.
Room
room 5850
Seminar
Seminar Semantics, Logic, Verification and its Applications
Na seminarium opowiem o kowariantnych sygnaturach i modelach konstrukcji architekturalnych oraz o ich składaniu. Pokażę też przykłady takich konstrukcji w kategorii fragmentów sygnatur algebraicznych z zależnościami.

Careers

Website

© 2024 University of Warsaw. All rights reserved.