( en | de | ru )

 

Disambiguierung von "Nogin, Aleksey"

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.

Aleksey Adonin

Aleksey Min

Aleksey Martyniouk

Aleksey Buzmakov

 

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)Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers., , , und . FM, Volume 13047 von Lecture Notes in Computer Science, Seite 122-141. Springer, (2021)Sequent Schema for Derived Rules., und . TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 281-297. Springer, (2002)MetaPRL - A Modular Logical Environment., , , , , , , , , und 5 andere Autor(en). TPHOLs, Volume 2758 von Lecture Notes in Computer Science, Seite 287-303. Springer, (2003)JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants., , , und . IJCAR, Volume 2083 von Lecture Notes in Computer Science, Seite 421-426. Springer, (2001): Designing a Scalable Build Process., und . FASE, Volume 3922 von Lecture Notes in Computer Science, Seite 63-78. Springer, (2006)Assured Point Cloud Perception., , und . ICAA, Seite 119-128. IEEE, (2023)Theory and Implementation of an Efficient Tactic-Based Logical Framework.. Cornell University, USA, (2002)A Mechanism for Sequential Consistency in a Distributed Objects System., , , und . PDCS, Seite 284-289. ISCA, (2004)Compiler implementation in a formal logical framework., , und . MERLIN, ACM, (2003)