A temporal negative normal form which preserves implicants and implicates (Q4443401)
From MaRDI portal
scientific article; zbMATH DE number 2024822
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A temporal negative normal form which preserves implicants and implicates |
scientific article; zbMATH DE number 2024822 |
Statements
A temporal negative normal form which preserves implicants and implicates (English)
0 references
11 January 2004
0 references
automated theorem proving
0 references
temporal negative normal form
0 references
future fragment
0 references
temporal logic
0 references
0 references
