Skip to content

Operational Semantics for Fixed-Point Logics on Constraint Databases.

Stephan Kreutzer

VenueBLPAR
Year2001
ProceedingsLPAR

Browse the full LPAR paper archive.