Wissenschaftliche Interessen
Donnerstag, 10. Juli 2008 um 13:12
  • (Angereicherte) Kategorientheorie
  • Koalgebra und koalgebraische Logiken
  • Koalgebraische Automatentheorie
  • Theoretische Physik
Add a comment
LAST_UPDATED2
 
Publikationen
Donnerstag, 18. September 2008 um 09:16

Aktuelle Arbeiten

  • C Kissig, Y Venema, "Complementation of Coalgebra Automata", CALCO 2009
  • C Kissig, "Decidability of S2S" (Master of Logic Dissertation), 2007, ILLC MoL Series,
    [PDF] [Abstract, TXT]

 

Add a comment
LAST_UPDATED2
Weiterlesen...
 
Vortraege
Sonntag, 27. September 2009 um 08:44

Dies ist eine unvollstaendige Liste meiner Vortraege in chronologischer Reihenfolge. Falls ich Folien ausgearbeitet habe, sind diese hier zu finden.

Die meisten sind Beitraege zu Konferenzen, Workshops oder Seminar. Besonders im letzten Fall sind die Votraege konzeptionell. Falls sich Fehler eingeschlichen haben, oder Sie einen Kommentar zu meiner Arbeit haben, wuerde ich mich ueber eine Email freuen: email(at)christiankissig.de .

Add a comment
LAST_UPDATED2
Weiterlesen...
 
Trace Theory of Coalgebras
Sonntag, 31. Januar 2010 um 11:48
There are no translations available.

Trace theory is concerned with assigning transition systems a semantics in trace monoids. Informally, trace monoids are word monoids generated from an independence relation, analogous to parallelism in concurrency. Generic trace theory seeks to extends trace theory to arbitrary transition systems, that formally are Set-based coalgebras.

Add a comment
LAST_UPDATED2
Weiterlesen...
 
<< Start < Zurück 1 2 Weiter > Ende >>

JPAGE_CURRENT_OF_TOTAL