Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Goncharov, Sergey"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Coalgebraic weak bisimulation from recursive equations over monads
Sergey Goncharov
,
Dirk Pattinson
Lecture Notes in Computer Science
8573
, 2014, pp. 196-207
Monodic fragments of probabilistic first-order logic
Jean Christoph Jung
,
Carsten Lutz
,
Sergey Goncharov
,
Lutz Schröder
Lecture Notes in Computer Science
8573
, 2014, pp. 256-267
A coinductive calculus for asynchronous side-effecting processes
Sergey Goncharov
,
Lutz Schröder
Information and Computation
231
, 2013, pp. 204-232
Inductive inference and computable numberings
Klaus Ambos-Spies
,
Serikzhan Badaev
,
Sergey Goncharov
Theoretical Computer Science
412
(18), 2011, pp. 1652-1668
Completeness of global evaluation logic
Sergey Goncharov
,
Lutz Schröder
,
Till Mossakowski
Lecture Notes in Computer Science
4162
, 2006, pp. 447-458