An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121)
From MaRDI portal
scientific article; zbMATH DE number 6418741
In more languages
Configure| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability |
scientific article; zbMATH DE number 6418741 |
