|
showing results 1 to 20 of 37
issue date | title | author(s) | 2008 | Abordagem algébrica à igualdade observacional | Martins, Manuel A.; Descalço, Luís António Arsénio; Madeira, Alexandre Leite de Castro |
2010 | Admissible equivalence systems | Babenyshev, Sergey; Martins, Manuel A. |
2009 | Análise estruturada e formal das provas | Vieira, João Carlos David; Martins, Manuel A.; Barreto, Maria Nilde Fernandes |
Aug-2016 | An exercise on the generation of many-valued dynamic logics | Madeira, Alexandre; Neves, Renato; Martins, Manuel A. |
Sep-2017 | Applying differential dynamic logic to reconfigurable biological networks | Figueiredo, Daniel; Martins, Manuel A.; Chaves, Madalena |
11-Dec-2017 | Asymmetric Combination of Logics is Functorial: A Survey | Neves, Renato; Madeira, Alexandre; Barbosa, Luís; Martins, Manuel A. |
2008 | Automatic structures for semigroup constructions | Andrade, I.; Descalço, L.; Martins, Manuel A. |
2009 | Behavioral algebraization of logics | Caleiro, C.; Gonçalves, R.; Martins, Manuel A. |
Jul-2016 | Behavioral equivalence of hidden k-logics: an abstract algebraic approach | Babenyshev, Sergey; Martins, Manuel A. |
2006 | Behavioral institutions and refinements in generalized hidden logics | Martins, Manuel A. |
2007 | Behavioural reasoning for conditional equations | Martins, Manuel A.; Pigozzi, D. |
2007 | Closure properties for the class of behavioral models | Martins, Manuel A. |
2015 | Completeness and decidability results for hybrid(ised) logics | Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. |
15-Aug-2016 | Continuity as a computational effect | Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. |
28-Apr-2013 | Deduction-detachment theorem in hidden K-logics | Babenyshev, Sergey; Martins, Manuel A. |
2015 | A dynamic logic for every season | Madeira, Alexandre; Neves, Renato; Martins, Manuel A.; Barbosa, Luís S. |
Aug-2007 | Electrostatic assembly and growth of gold nanoparticles in cellulosic fibres | Pinto, Ricardo J. B.; Marques, Paula A. A. P.; Martins, Manuel A.; Neto, Carlos Pascoal; Trindade, Tito |
23-Sep-2017 | A family of graded epistemic logics | Benevides, Mário; Madeira, Alexandre; Martins, Manuel A. |
2011 | Hybridization of institutions | Martins, Manuel A.; Madeira, A.; Diaconescu, R.; Barbosa, L.S. |
2011 | Hybrid specification of reactive systems: An institutional approach | Madeira, A.; Faria, J.M.; Martins, Manuel A.; Barbosa, L.S. |
showing results 1 to 20 of 37
|