Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies

Download PDF
Open Webpage

Martin Lück, Arne Meier, Irina Schindler

Published: 01 Jan 2014, Last Modified: 10 Jun 2024Electron. Colloquium Comput. Complex. 2014EveryoneRevisionsBibTeXCC BY-SA 4.0