Percorrer por editoras 686

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1-15 de um total de 15 resultados.
DataTítuloAutor(es)TipoAcesso
26-Out-2016An enhanced model for stochastic coordinationOliveira, Nuno Ernesto Salgado; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
3-Abr-2014Application of ontologies in identifying requirements patterns in use casesCouto, Rui; Ribeiro, António Nestor; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Bisimilarity and refinement for hybrid(ised) logicsMadeira, Alexandre; Martins, Manuel M.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
28-Ago-2013A coinductive approach to proof searchEspírito Santo, José; Matthes, Ralph; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2014Confluence for classical logic through the distinction between values and computationsEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.Artigo em ata de conferênciaAcesso aberto
2017Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-webFayollas, Camille; Martinie, Celia; Palanque, Philippe, et al.Artigo em ata de conferênciaAcesso aberto
2018Improving the visualization of alloy instancesCouto, Rui; Campos, José C.; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
2022A logic for paraconsistent transition systemsAna Cruz; Alexandre Madeira; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
21-Jun-2016A note on strong normalization in classical natural deductionEspírito Santo, JoséArtigo em ata de conferênciaAcesso aberto
23-Mar-2023Paraconsistent transition systemsCruz, Ana; Madeira, Alexandre; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Refinement by interpretation in φ-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A., et al.Artigo em ata de conferênciaAcesso aberto
2011Relating sequent calculi for bi-intuitionistic propositional logicPinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
2019Simulation under arbitrary temporal logic constraintsBrunel, Julien; Chemouil, David; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2016Validating an approach to formalize use cases with ontologiesCouto, Rui; Ribeiro, António Nestor; Campos, José C.Artigo em ata de conferênciaAcesso aberto
2016Worlds of events: deduction with partial knowledge about causalityHaeri, Seyed Hossein; Van Roy, Peter; Baquero, Carlos, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 1-15 de um total de 15 resultados.