dblp.uni-trier.dewww.uni-trier.de

José Bacelar Almeida

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEJosé Bacelar Almeida, Jorge Sousa Pinto: Deriving Sorting Algorithms CoRR abs/0802.3881: (2008)
4EEJosé Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: Token-passing Nets for Functional Languages. Electr. Notes Theor. Comput. Sci. 204: 181-198 (2008)
3EEJosé Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: A Tool for Programming with Interaction Nets. Electr. Notes Theor. Comput. Sci. 219: 83-96 (2008)
2007
2EEJosé Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. Electr. Notes Theor. Comput. Sci. 176(1): 139-163 (2007)
2004
1EEJosé Bacelar Almeida, Paulo Sérgio Almeida, Carlos Baquero: Bounded Version Vectors. DISC 2004: 102-116

Coauthor Index

1Paulo Sérgio Almeida [1]
2Carlos Baquero [1]
3Jorge Sousa Pinto [2] [3] [4] [5]
4Miguel Vilaça [2] [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)