( en | de | ru )

 

Disambiguierung von "Popescu, Andrei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Institution-independent Generalization of Tarski's Elementary Chain Theorem.

, und . J. Log. Comput., 16 (6): 713-735 (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.

Razvan Andrei Popescu

Octavian Popescu

Sorin Popescu

Matei Popescu

Luiza Popescu

 

Weitere Publikationen von Autoren mit dem selben Namen

A Formally Verified Abstract Account of Gödel's Incompleteness Theorems., und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 442-461. Springer, (2019)Non-commutative fuzzy structures and pairs of weak negations., und . Fuzzy Sets Syst., 143 (1): 129-155 (2004)Term-Generic Logic., und . WADT, Volume 5486 von Lecture Notes in Computer Science, Seite 290-307. Springer, (2008)A New Class of Probabilities on Lukasiewicz-Moisil Algebras., und . J. Multiple Valued Log. Soft Comput., 12 (3-4): 337-354 (2006)Non-dual fuzzy connections., und . Arch. Math. Log., 43 (8): 1009-1039 (2004)An Institution-Independent Proof of the Robinson Consistency Theorem., und . Stud Logica, 85 (1): 41-73 (2007)A General Theory of Syntax with Bindings., und . Arch. Formal Proofs, (2019)An Institution-independent Generalization of Tarski's Elementary Chain Theorem., und . J. Log. Comput., 16 (6): 713-735 (2006)A Formalized General Theory of Syntax with Bindings., und . ITP, Volume 10499 von Lecture Notes in Computer Science, Seite 241-261. Springer, (2017)Bindings as bounded natural functors., , , und . Proc. ACM Program. Lang., 3 (POPL): 22:1-22:34 (2019)