Variant Satisfiability of Parameterized Strings

From MaRDI portal

Publication:6486037

Jump to:navigation, search

DOI10.1007/978-3-030-63595-4_6MaRDI QIDQ6486037

José Meseguer

Publication date: 22 December 2022

Published in: 1517.68165 (Search for Journal in Brave)

Mathematics Subject Classification ID

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

This page was built for publication: Variant Satisfiability of Parameterized Strings

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6486037&oldid=37945212"