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

Miguel Vilaça

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

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
2EEIan Mackie, Jorge Sousa Pinto, Miguel Vilaça: Visual Programming with Recursion Patterns in Interaction Nets. ECEASST 6: (2007)
1EEJosé 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)

Coauthor Index

1José Bacelar Almeida [1] [3] [4]
2Ian Mackie [2]
3Jorge Sousa Pinto [1] [2] [3] [4]

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