Editor: Peter Higgs Volume 11 Number 5 Another month has raced by and before we know it, it will be the Festive (silly) Season, at least

First Page		Document Content
Date: 2014-03-21 07:33:39 Tasmania Hunt Dragon boat Water Skeg Graeme Kayak		Editor: Peter Higgs Volume 11 Number 5 Another month has raced by and before we know it, it will be the Festive (silly) Season, at least Add to Reading List Source URL: www.woodenboatguildtas.org.au Download Document from Source Website File Size: 431,02 KB Share Document on Facebook

	Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s DocID: 1xVMq - View Document
	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 DocID: 1xVuB - View Document
	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 DocID: 1xVoW - View Document
	An Abstract Domain of Uninterpreted Functions Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 DocID: 1xUXI - View Document
	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 DocID: 1xUUH - View Document