UNIVERSITY of GLASGOW

Computing at Glasgow University
 

DCS Technical Reports for 'Mr Michele Sevegnani' ordered by Year. (2)

2010

2010

Bigraphs with sharing
Calder,M. Sevegnani,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

A SAT based algorithm for the matching problem in bigraphs with sharing
Sevegnani,M. Unsworth,C. Calder,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].