Sergey Goncharov

Universität Bremen, Germany

other persons with the same name:

• Sergey Goncharov - Sobolev's Math. Institute, Novosibirsk, Russia

	2009
3		Sergey Goncharov, Lutz Schröder, Till Mossakowski: Kleene Monads: Handling Iteration in a Framework of Generic Effects. CALCO 2009: 18-33
	2008
2		Till Mossakowski, Lutz Schröder, Sergey Goncharov: A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. FASE 2008: 199-214
	2006
1		Sergey Goncharov, Lutz Schröder, Till Mossakowski: Completeness of Global Evaluation Logic. MFCS 2006: 447-458

Coauthor Index

1	Till Mossakowski	[1] [2] [3]
2	Lutz Schröder	[1] [2] [3]