AGG - Capítulo de livro : [29] Collection home page
RSS Feed

Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 29
Issue DateTitleAuthor(s)TypeAccess Type
14-Apr-2022A logic for paraconsistent transition systemsCruz, Ana; Madeira, Alexandre; Barbosa, Luís SoaresarticleopenAccess
2021Introducing interval differential dynamic logicFigueiredo, DanielbookPartembargoedAccess
2019Packing of R3 by crossesCruz, Catarina M. N.; Breda, Ana M. D'AzevedobookPartopenAccess
2021Adding proof calculi to epistemic logics with structured knowledgeBenevides, Mario; Madeira, Alexandre; Martins, Manuel A.bookPartembargoedAccess
Dec-2021Abordagens interdisciplinares: contexto pandemia COVID-19Breda, Ana Maria Reis d’Azevedo; Cruz, Catarina Maria Neto dabookPartopenAccess
2021Towards a specification theory for fuzzy modal logicJain, Manisha; Gomes, Leandro; Madeira, Alexandre; Barbosa, Luis S.bookPartembargoedAccess
2021CNME a math narrative-based serious gameMartins, Micaela; Breda, Ana; Rocha, Eugénio; Domingues, RicardobookPartrestrictedAccess
2021Graphic and multimedia design of a narrative-based math gameAfonso, R.; Breda, A.; Rocha, E.bookPartrestrictedAccess
2021Torus and quadrics intersection using GeoGebraBreda, Ana Maria Reis D'Azevedo; Trocado, Alexandre Emanuel Batista da Silva; Santos, José Manuel dos Santos dosbookPartrestrictedAccess
19-Nov-2020Reversal Fuzzy Switch GraphsCampos, Suene; Santiago, Regivan; Martins, Manuel A.; Figueiredo, DanielarticleembargoedAccess
2020A four-valued hybrid logic with non-dual modal operatorsCosta, Diana; Martins, Manuel A.bookPartembargoedAccess
2019On the generation of equational dynamic logics for weighted imperative programsGomes, Leandro; Madeira, Alexandre; Jain, Manisha; Barbosa, Luis S.bookPartopenAccess
2019Taming hierarchical connectorsProença, José; Madeira, AlexandrebookPartopenAccess
2019Logics for Petri nets with propagating failuresGomes, Leandro; Madeira, Alexandre; Benevides, MariobookPartopenAccess
2019A digital puzzle game for the elderlyBarros, P.; Almeida, M. R.; Breda, A.; Rocha, E.bookPartrestrictedAccess
2019The educational math board game 3DM6Almeida, M. R.; Barros, P.; Breda, A.; Resende, H.; Rocha, E.bookPartrestrictedAccess
2019rPrism: a software for reactive weighted state transition modelsFigueiredo, Daniel; Rocha, Eugénio; Martins, Manuel António; Chaves, MadalenabookPartopenAccess
Jun-2019Rigid first-order hybrid logicBlackburn, Patrick; Martins, Manuel; Manzano, María; Huertas, AntoniabookPartopenAccess
2019A hybrid dynamic logic for event/data-based systemsHennicker, Rolf; Madeira, Alexandre; Knapp, AlexanderbookPartopenAccess
2019Verification for Everyone? An Overview of Dynamic LogicMadeira, AlexandrebookPartopenAccess
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 29