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 19-30 de um total de 30 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
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 19-30 de um total de 30 resultados. < anterior