Information flow in tabular interpretations for generalized push-down automata
From MaRDI portal
Publication:1129130
DOI10.1016/S0304-3975(97)00272-7zbMath0983.68103MaRDI QIDQ1129130
François Barthélemy, Eric Villemonte de la Clergerie
Publication date: 13 August 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Uses Software
Cites Work
This page was built for publication: Information flow in tabular interpretations for generalized push-down automata