Counterpart Semantics for a Second-Order μ-Calculus

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

zbMATH Keywords

graph transformationcounterpart semanticsquantified \(\mu \)-calculi

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)