( en | de | ru )

 

Disambiguation of "Jebelean, Tudor"

Author of the publication

copydeleteadd this publication to your clipboard
Theorema: Towards computer-aided mathematical theory exploration.

, , , , , , , , , , and . J. Appl. Log., 4 (4): 470-504 (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tudor Pörner

Tudor Marinescu

Christiane Silke Tudor

Tania Tudorache

Ruxandra Ioana Tudoran

 

Other publications of authors with the same name

Synthesis of list algorithms by mechanical proving., and . J. Symb. Comput., (2015)Systolic normalization of rational numbers.. ASAP, page 502-513. IEEE, (1993)FPGA Implementation of an Extended Binary GCD Algorithm for Systolic Reduction of Rational Numbers., and . FPL, volume 1896 of Lecture Notes in Computer Science, page 810-813. Springer, (2000)Auto-configurable array for GCD computation.. FPL, volume 1304 of Lecture Notes in Computer Science, page 457-461. Springer, (1997)Proof-Based Synthesis of Sorting Algorithms Using Multisets in Theorema., and . FROM, volume 303 of EPTCS, page 76-91. (2019)A Survey of the Theorema Project., , , , , and . ISSAC, page 384-391. ACM, (1997)Experiments with Automated Reasoning in the Class., , , , and . CICM, volume 13467 of Lecture Notes in Computer Science, page 287-304. Springer, (2022)A Purely Logical Approach to the Termination of Imperative Loops., and . SYNASC, page 142-149. IEEE Computer Society, (2010)Theory exploration of sets represented as monotone lists., and . SISY, page 163-168. IEEE, (2014)Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema., and . SACI, page 165-172. IEEE, (2020)