( en | de | ru )

 

Disambiguierung von "Komendantskaya, Ekaterina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Exploiting Parallelism in Coalgebraic Logic Programming.

, , und . WACT, Volume 303 von Electronic Notes in Theoretical Computer Science, Seite 121-148. Elsevier, (2013)

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.

Ekaterina Elts

Ekaterina Kostina

Ekaterina amonina

Ekaterina Klinkova

Ekaterina Breous

 

Weitere Publikationen von Autoren mit dem selben Namen

Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness., und . CMCS, Volume 9608 von Lecture Notes in Computer Science, Seite 94-113. Springer, (2016)Neural Networks in Imandra: Matrix Representation as a Verification Choice., , und . NSV/FoMLAS@CAV, Volume 13466 von Lecture Notes in Computer Science, Seite 78-95. Springer, (2022)Exploiting Parallelism in Coalgebraic Logic Programming., , und . WACT, Volume 303 von Electronic Notes in Theoretical Computer Science, Seite 121-148. Elsevier, (2013)Neuro-symbolic Representation of Logic Programs Defining Infinite Sets., , und . ICANN (1), Volume 6352 von Lecture Notes in Computer Science, Seite 301-304. Springer, (2010)ML4PG in Computer Algebra Verification., und . MKM/Calculemus/DML, Volume 7961 von Lecture Notes in Computer Science, Seite 354-358. Springer, (2013)Structural Resolution for Abstract Compilation of Object-Oriented Languages., , und . CoALP-Ty, Volume 258 von EPTCS, Seite 19-35. (2016)SHERLOCK - An Interface for Neuro-Symbolic Networks., und . NeSy, Volume 764 von CEUR Workshop Proceedings, Seite 39-40. CEUR-WS.org, (2011)Proof Mining with Dependent Types., und . CICM, Volume 10383 von Lecture Notes in Computer Science, Seite 303-318. Springer, (2017)The Effect of Manifold Entanglement and Intrinsic Dimensionality on Learning., , und . AAAI, Seite 7160-7167. AAAI Press, (2022)The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them., , und . Theory Pract. Log. Program., 20 (6): 990-1005 (2020)