Graph explorer

Jónathan Heras

Jónathan Heras contributes to research discovery and scholarly infrastructure.

13 nodes12 linksoverview previewJónathan Heras
13 nodes12 links
Jónathan Heras13 visible / 13 total nodes / 12 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAJónathan HerasResearcherWStatistical Proof Patte...preprint / 2013WComputing Persistent Ho...preprint / 2012WVerifying an algorithm ...preprint / 2012WProof-Pattern Recogniti...preprint / 2013WML4PG in Computer Algeb...preprint / 2013WVerifying a platform fo...preprint / 2013WProof Pattern Search in...preprint / 2014WRecycling Proof Pattern...preprint / 2014WHoTT formalisation in C...preprint / 2014W(Co)recursion in Logic ...preprint / 2014WACL2(ml): Machine-Learn...preprint / 2014WEffective Homology of t...preprint / 2014
PersonSignal 1012 links

Jónathan Heras

Researcher

Open