Author of the publication

A Matching Logic Foundation for Alk.

, and . ICTAC, volume 13572 of Lecture Notes in Computer Science, page 290-304. Springer, (2022)

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.

 

Other publications of authors with the same name

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