Skip to content

Set-Based Analysis for Logic Programming and Tree Automata.

Jean-Marc Talbot, Sophie Tison, Philippe Devienne

VenueBSAS
Year1997
ProceedingsSAS

Browse the full SAS paper archive.