PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Goncharov, Sergey"

Author of the publication

copydeleteadd this publication to your clipboard
Monodic Fragments of Probabilistic First-Order Logic.

, , , and . ICALP (2), volume 8573 of Lecture Notes in Computer Science, page 256-267. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

apl. Prof. Dr. Sergey Oladyshkin University of Stuttgart

Sergey Abramov University of Stuttgart

 

Other publications of authors with the same name

Some Remarks on Conway and Iteration Theories., and . CoRR, (2016)Unguarded Recursion on Coinductive Resumptions., , , and . Logical Methods in Computer Science, (2018)Hanf number for Scott sentences of computable structures., , and . Arch. Math. Log., 57 (7-8): 889-907 (2018)Coalgebraic Weak Bisimulation from Recursive Equations over Monads., and . ICALP (2), volume 8573 of Lecture Notes in Computer Science, page 196-207. Springer, (2014)Unguarded Recursion on Coinductive Resumptions., , and . Electr. Notes Theor. Comput. Sci., (2015)A Relatively Complete Generic Hoare Logic for Order-Enriched Effects., and . LICS, page 273-282. IEEE Computer Society, (2013)(Co-)Algebraic Foundations for Effect Handling and Iteration., , and . CoRR, (2014)Exploring the Boundaries of Monad Tensorability on Set., , , and . Logical Methods in Computer Science, (2013)Completeness of Global Evaluation Logic., , and . MFCS, volume 4162 of Lecture Notes in Computer Science, page 447-458. Springer, (2006)A Semantics for Hybrid Iteration., , and . CONCUR, volume 118 of LIPIcs, page 22:1-22:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)