Browsing by Author Bedregal, Benjamín
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
15-Apr-2019 | On interval dynamic logic: Introducing quasi-action lattices | Santiago, Regivan; Bedregal, Benjamín; Madeira, Alexandre; Martins, Manuel A. | article |