( en | de | ru )

 

Disambiguierung von "Kopylov, Alexei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.

, , , und . ICFP, Seite 172-183. ACM, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alexei Gratchev

Alexei Savtchkov

Alexei Strelchenko

Alexei Dörre

Alexei Agafonov

 

Weitere Publikationen von Autoren mit dem selben Namen

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection., , , und . ICFP, Seite 172-183. ACM, (2006)Filtering Strategies for Inexact Subgraph Matching on Noisy Multiplex Networks., und . IEEE BigData, Seite 4906-4912. IEEE, (2019)Formalizing Type Operations Using the "Image" Type Constructor., und . WoLLIC, Volume 165 von Electronic Notes in Theoretical Computer Science, Seite 121-132. Elsevier, (2006)A computational approach to reflective meta-reasoning about languages with bindings., , , und . MERLIN, Seite 2-12. ACM, (2005)Practical Reflection for Sequent Logics., , , und . LFMTP@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 79-94. Elsevier, (2006)Markov's Principle for Propositional Type Theory., und . CSL, Volume 2142 von Lecture Notes in Computer Science, Seite 570-584. Springer, (2001)CANON: Complex Analytics of Network of Networks for Modeling Adversarial Activities., , , , , , , , , und 3 andere Autor(en). IEEE BigData, Seite 1634-1643. IEEE, (2020)MetaPRL - A Modular Logical Environment., , , , , , , , , und 5 andere Autor(en). TPHOLs, Volume 2758 von Lecture Notes in Computer Science, Seite 287-303. Springer, (2003)Semantic Guided Filtering Strategy for Best-effort Subgraph Matching in Knowledge Graphs., , , , und . IEEE BigData, Seite 2539-2545. IEEE, (2020)Type Theoretical Foundations for Data Structures, Classes, and Objects.. Cornell University, USA, (2004)