A First-Order Logic with Frames

Murali, Adithya; Peña, Lucas; Löding, Christof; Madhusudan, P.

Cham / Springer International Publishing (2020) [Contribution to a book, Contribution to a conference proceedings]

Programming Languages and Systems / Müller, Peter (Editor) [https://orcid.org/0000-0001-7001-2566] ; Cham : Springer International Publishing, 2020, Chapter 19 ; ISSN: 0302-9743=1611-3349 ; ISBN: 978-3-030-44913-1=978-3-030-44914-8 ; doi:10.1007/978-3-030-44914-8
Page(s): 515-543

Identifier