( en | de | ru )

 

Disambiguierung von "Jebelean, Tudor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Purely Logical Approach to the Termination of Imperative Loops.

, und . SYNASC, Seite 142-149. IEEE Computer Society, (2010)

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.

Tudor Pörner

Tudor Marinescu

Tania Tudorache

Christiane Silke Tudor

Ruxandra Ioana Tudoran

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of list algorithms by mechanical proving., und . J. Symb. Comput., (2015)FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers., und . FPL, Volume 1896 von Lecture Notes in Computer Science, Seite 810-813. Springer, (2000)Auto-configurable array for GCD computation.. FPL, Volume 1304 von Lecture Notes in Computer Science, Seite 457-461. Springer, (1997)Systolic normalization of rational numbers.. ASAP, Seite 502-513. IEEE, (1993)A Survey of the Theorema Project., , , , , und . ISSAC, Seite 384-391. ACM, (1997)Experiments with Automated Reasoning in the Class., , , , und . CICM, Volume 13467 von Lecture Notes in Computer Science, Seite 287-304. Springer, (2022)A Purely Logical Approach to the Termination of Imperative Loops., und . SYNASC, Seite 142-149. IEEE Computer Society, (2010)Systolic Algorithms for Long Integer GCD Computation.. CONPAR, Volume 854 von Lecture Notes in Computer Science, Seite 241-252. Springer, (1994)Case Studies on Algorithm Discovery from Proofs: The Delete Function on Lists and Binary Trees using Multisets., und . SISY, Seite 213-220. IEEE, (2019)Combining logical and algebraic techniques for natural style proving in elementary analysis., , und . Math. Comput. Simul., 79 (8): 2310-2316 (2009)