Graph explorer

Andrey Rybalchenko

Andrey Rybalchenko contributes to research discovery and scholarly infrastructure.

6 nodes5 linksoverview previewAndrey Rybalchenko
6 nodes5 links
Andrey Rybalchenko6 visible / 6 total nodes / 5 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAAndrey RybalchenkoResearcherWSeparation Logic Modulo...preprint / 2013WAn Epistemic Perspectiv...preprint / 2013WApplying Prolog to Deve...preprint / 2010WHMC: Verifying Function...preprint / 2010WHigher-order Program Ve...preprint / 2013
PersonSignal 105 links

Andrey Rybalchenko

Researcher

Open