Pebble games and subroutines in least fixed point logic

DOI10.1006/INCO.1995.1147zbMath1096.68599OpenAlexW2075080816MaRDI QIDQ2508327

Gregory Loren McColm

Publication date: 10 October 2006

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1995.1147

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Pebble games and subroutines in least fixed point logic