|
|
Hirsch, R. (1999): A Finite Relation Algebra with Undecidable Network Satisfaction Problem
| Title: |
A Finite Relation Algebra with Undecidable Network Satisfaction Problem |
| Author(s): |
Hirsch, R. |
| Year: |
1999 |
| Journal: |
Bulletin of the Interest Group in Pure and Applied Logics |
| Volume: |
7 |
| Number: |
4 |
| Pages: |
547-554 |
Concepts
|
|
