Sign In

Login

Password

Forgot Password ? Sign Up

Alexandra Silva (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Alexandra Silva" in French language version.

refsWebsite
Global rank French rank
3doi.org
2nd place
3rd place
2issn.org
57th place
4th place
1nodak.edu
5,218th place
2,467th place
1eatcs.org
low place
low place
1cornell.edu
332nd place
685th place
1arxiv.org
69th place
232nd place

arxiv.org

  • Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky et Alexandra Silva, « Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic », Logical Methods in Computer Science, vol. 14, no 1,‎ , p. 1-44 (DOI 10.23638/LMCS-14(1:3)2018, lire en ligne).

cornell.edu

cs.cornell.edu

doi.org

dx.doi.org

  • * Dexter Kozen et Alexandra Silva, « Practical coinduction », Mathematical Structures in Computer Science, vol. 27, no 07,‎ , p. 1132–1152 (ISSN 0960-1295, DOI 10.1017/S0960129515000493, lire en ligne).
  • Jörg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, Andrew Polonsky et Alexandra Silva, « Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic », Logical Methods in Computer Science, vol. 14, no 1,‎ , p. 1-44 (DOI 10.23638/LMCS-14(1:3)2018, lire en ligne).
  • Tobias Kappé, Paul Brunet, Alexandra Silva et Fabio Zanasi, « Concurrent Kleene Algebra: Free Model and Completeness », European Symposium on Programming 2018: Programming Languages and Systems, Lecture Notes in Computer Science vol. 10801,‎ , p. 856–882 (ISSN 0302-9743, DOI 10.1007/978-3-319-89884-1_30)

eatcs.org

issn.org

portal.issn.org

  • * Dexter Kozen et Alexandra Silva, « Practical coinduction », Mathematical Structures in Computer Science, vol. 27, no 07,‎ , p. 1132–1152 (ISSN 0960-1295, DOI 10.1017/S0960129515000493, lire en ligne).
  • Tobias Kappé, Paul Brunet, Alexandra Silva et Fabio Zanasi, « Concurrent Kleene Algebra: Free Model and Completeness », European Symposium on Programming 2018: Programming Languages and Systems, Lecture Notes in Computer Science vol. 10801,‎ , p. 856–882 (ISSN 0302-9743, DOI 10.1007/978-3-319-89884-1_30)

nodak.edu

genealogy.math.ndsu.nodak.edu