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

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel
Autor: Dirk Pattinson, Lutz Schröder
Titel: Generic Modal Cut Elimination Applied to Conditional Logics
Zeitschrift: Log. Methods Comput. Sci.
Anmerkung / Hinweis: To appear
Status: Reviewed
Letzte Aktualisierung: 19. 10. 2010

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 9. Mai 2023   impressum