( en | de | ru )

 

Disambiguierung von "Popescu, Andrei"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic.

, , , , , , , , , , , , , und . FroCoS, Volume 10483 von Lecture Notes in Computer Science, Seite 3-21. Springer, (2017)

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

Bogdan Popescu

Matei Popescu

 

Weitere Publikationen von Autoren mit dem selben Namen

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)An Institution-Independent Proof of the Robinson Consistency Theorem., und . Stud Logica, 85 (1): 41-73 (2007)Bindings as bounded natural functors., , , und . Proc. ACM Program. Lang., 3 (POPL): 22:1-22:34 (2019)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)Non-dual fuzzy connections., und . Arch. Math. Log., 43 (8): 1009-1039 (2004)A New Class of Probabilities on Lukasiewicz-Moisil Algebras., und . J. Multiple Valued Log. Soft Comput., 12 (3-4): 337-354 (2006)Term-Generic Logic., und . WADT, Volume 5486 von Lecture Notes in Computer Science, Seite 290-307. Springer, (2008)A General Theory of Syntax with Bindings., und . Arch. Formal Proofs, (2019)