( en | de | ru )

 

Disambiguierung von "Lucanu, Dorel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Matching Logic Foundation for Alk.

, und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 290-304. Springer, (2022)

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.

Dorel Banabic

Lucian Dorel Dulca

Dorel Gușat

Érik Martin-Dorel

 

Weitere Publikationen von Autoren mit dem selben Namen

Automating Coinduction with Case Analysis., , und . ICFEM, Volume 6447 von Lecture Notes in Computer Science, Seite 220-236. Springer, (2010)Relaxed models for rewriting logic.. Theor. Comput. Sci., 290 (1): 265-289 (2003)Unification in Matching Logic., und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 502-518. Springer, (2019)Operationally-based program equivalence proofs using LCTRSs., , und . J. Log. Algebraic Methods Program., (Oktober 2023)Specification and Verification of Synchronizing Concurrent Objects., und . IFM, Volume 2999 von Lecture Notes in Computer Science, Seite 307-327. Springer, (2004)Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification., und . FROM, Volume 369 von EPTCS, Seite 1-16. (2022)Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models.. FROM, Volume 389 von EPTCS, Seite 41-55. (2023)Semantic Web Languages - Towards an Institutional Perspective., , und . Essays Dedicated to Joseph A. Goguen, Volume 4060 von Lecture Notes in Computer Science, Seite 99-123. Springer, (2006)Patterns for Maude Metalanguage Applications., , , , und . WRLA, Volume 238 von Electronic Notes in Theoretical Computer Science, Seite 121-138. Elsevier, (2008)Path Directed Symbolic Execution in the K Framework., , und . SYNASC, Seite 133-141. IEEE Computer Society, (2010)