Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel
Autor: Till Mossakowski, Lutz Schröder, Sergey Goncharov
Titel: A Generic Complete Dynamic Logic for Reasoning about Purity and Effects
Zeitschrift: Formal Aspects of Computing
Anmerkung / Hinweis: To appear
Status: Reviewed
Letzte Aktualisierung: 18. 03. 2009

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 23. Februar 2006   impressum