Satisfiability of a Spatial Logic with Tree Variables (Q3608409)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Satisfiability of a Spatial Logic with Tree Variables |
scientific article |
Statements
Satisfiability of a Spatial Logic with Tree Variables (English)
0 references
5 March 2009
0 references
