Operational Semantics for Fixed−Point Logics on Constraint Databases
Main Author: | |
---|---|
Format: | Conference item |
Published: |
Springer
2001
|
Main Author: | |
---|---|
Format: | Conference item |
Published: |
Springer
2001
|