Percorrer por revistas 84334

Í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 13-30 de um total de 30 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
Out-2018Hierarchical hybrid logicMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Martins, Manuel A., et al.ArtigoAcesso aberto
2007A higher-order calculus for graph transformationFernández, Maribel; Mackie, Ian; Pinto, Jorge SousaArtigoAcesso aberto
Nov-2009Implementation of an orchestration language as a haskell domain specific languageCampos, Marco Devesas; Barbosa, L. S.ArtigoAcesso aberto
Mar-2020Introducing synchrony in fuzzy automataGomes, Leandro Rafael Moreira; Madeira, Alexandre; Barbosa, L. S.ArtigoAcesso aberto
2007A local graph-rewriting system for deciding equality in sum-product theoriesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2008Model-based user interface testing with Spec Explorer and ConcurTaskTreesSilva, José Luís Cardoso; Campos, J. Creissac; Paiva, Ana C. R.ArtigoAcesso aberto
2001Process Calculi à la Bird-MeertensBarbosa, L. S.ArtigoAcesso aberto
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.ArtigoAcesso aberto
2000Sequent calculi for the normal terms of the $\lambda\Pi$- and $\lambda\Pi\Sigma$-calculiPinto, Luís F.; Dyckhoff, RoyArtigoAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
2019Some applications of the formalization of the pumping lemma for context-free languagesRamos, Marcus V. M.; Almeida, José Bacelar; Moreira, Nelma, et al.ArtigoAcesso aberto
2003State-based components made genericOliveira, José Nuno; Barbosa, L. S.ArtigoAcesso aberto
2007Strongly typed rewriting for coupled software transformationCunha, Alcino; Visser, JoostArtigoAcesso aberto
2017The polarized λ-calculusEspírito Santo, JoséArtigoAcesso aberto
2008Token-passing nets for functional languagesAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2008A tool for programming with interaction netsAlmeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, MiguelArtigoAcesso aberto
2007Towards a coordination model for interactive systemsBarbosa, Marco António; Barbosa, L. S.; Campos, J. CreissacArtigoAcesso aberto
2003Weak reduction and garbage collection in interaction netsPinto, Jorge SousaArtigoAcesso aberto
Mostrar 13-30 de um total de 30 resultados. < anterior