Sergei Soloviev

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2019
Programming with Applicative-like expressions.
CoRR, 2019

2016
A Formal Study of Boolean Games with Random Formulas as Payoff Functions.
Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

2014
Reorganization of Retinotopic Maps after Occipital Lobe Infarction.
J. Cogn. Neurosci., 2014


  Loading...