Finite Tree Automata in Horn Clause Transformations (Invited Talk) John P. Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain

First Page		Document Content
Date: 2016-02-22 02:22:12		Finite Tree Automata in Horn Clause Transformations (Invited Talk) John P. Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain Add to Reading List Source URL: refal.botik.ru Download Document from Source Website File Size: 44,48 KB Share Document on Facebook