From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Reachability in Pushdown Register Automata.

A. Murawski, S. Ramsay, и N. Tzevelekos. MFCS (1), том 8634 из Lecture Notes in Computer Science, стр. 464-473. Springer, (2014)

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.

Nominal Game Semantics.A. Murawski, и N. Tzevelekos. Foundations and Trends in Programming Languages, 2 (4): 191-269 (2016)Higher-Order Bounded Model Checking.Y. Lin, и N. Tzevelekos. CoRR, (2018)Towards Nominal Abramsky.A. Murawski, и N. Tzevelekos. Computation, Logic, Games, and Quantum Foundations, том 7860 из Lecture Notes in Computer Science, стр. 246-263. Springer, (2013)Program Equivalence with Names.N. Tzevelekos. Modelling, Controlling and Reasoning About State, том 10351 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques.V. Koutavas, Y. Lin, и N. Tzevelekos. CoRR, (2021)Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13).A. Igarashi, A. Murawski, и N. Tzevelekos. NII Shonan Meet. Rep., (2015)Fresh-register automata.N. Tzevelekos. POPL, стр. 295-306. ACM, (2011)Block Structure vs. Scope Extrusion: Between Innocence and Omniscience.A. Murawski, и N. Tzevelekos. FoSSaCS, том 6014 из Lecture Notes in Computer Science, стр. 33-47. Springer, (2010)Introduction to Categories and Categorical LogicS. Abramsky, и N. Tzevelekos. CoRR, (2011)History-Register AutomataR. Grigore, и N. Tzevelekos. Logical Methods in Computer Science, (2016)