PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Nogin, Aleksey"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Mechanism for Sequential Consistency in a Distributed Objects System.

, , , und . ISCA PDCS, Seite 284-289. ISCA, (2004)

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.

Keine Personen gefunden für den Autorennamen Nogin, Aleksey
Eine Person hinzufügen mit dem Namen Nogin, Aleksey
 

Weitere Publikationen von Autoren mit dem selben Namen

HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters., , , , , und . IEEE Trans. Neural Netw. Learning Syst., 25 (2): 316-331 (2014)Practical Reflection for Sequent Logics., , , und . Electron. Notes Theor. Comput. Sci., 174 (5): 79-94 (2007)Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler., , , , und . IEEE Trans. Neural Netw. Learning Syst., 23 (6): 889-901 (2012)Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection., , , und . ICFP, Seite 172-183. ACM, (2006)MetaPRL - A Modular Logical Environment., , , , , , , , , und 5 andere Autor(en). TPHOLs, Volume 2758 von Lecture Notes in Computer Science, Seite 287-303. Springer, (2003)Sequent Schema for Derived Rules., und . TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 281-297. Springer, (2002)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)Fast Tactic-Based Theorem Proving., und . TPHOLs, Volume 1869 von Lecture Notes in Computer Science, Seite 252-267. Springer, (2000)Markov's Principle for Propositional Type Theory., und . CSL, Volume 2142 von Lecture Notes in Computer Science, Seite 570-584. Springer, (2001)