A Deductive System for Existential Least Fixpoint Logic (Q4276180)
From MaRDI portal
scientific article; zbMATH DE number 488300
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Deductive System for Existential Least Fixpoint Logic |
scientific article; zbMATH DE number 488300 |
Statements
A Deductive System for Existential Least Fixpoint Logic (English)
0 references
3 November 1994
0 references
inductive definition
0 references
existential least fixpoint logic
0 references
program verification
0 references
complexity
0 references
sequent calculus
0 references
database queries
0 references
