Christian Kissig

According to our database, Christian Kissig authored at least 5 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Finitary logics for coalgebras with branching.

Christian Kissig

PhD thesis, 2012

2011

Generic Trace Logics

Christian Kissig, Alexander Kurz

CoRR, 2011

2009

Complementation of Coalgebra Automata.

Christian Kissig, Yde Venema

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2004

Sonic: System Description.

Anni-Yasmin Turhan, Christian Kissig

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Sonic - Non-standard Inferences Go OilEd.

Anni-Yasmin Turhan, Christian Kissig

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004