Counterpart Semantics for a Second-Order μ-Calculus
From MaRDI portal
Publication:4931321
DOI10.1007/978-3-642-15928-2_19zbMath1306.68070OpenAlexW174151355WikidataQ56501617 ScholiaQ56501617MaRDI QIDQ4931321
Alberto Lluch Lafuente, Andrea Vandin, Fabio Gadducci
Publication date: 4 October 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://eprints.imtlucca.it/143/1/gaducci_lluch-lafuente_vandin2010a.pdf