Browsing by Author Costa, Diana
Showing results 8 to 8 of 8
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
12-Jun-2016 | A tableau system for Quasi-hybrid logic | Costa, Diana; Martins, Manuel A. | bookPart |