WDMkomunikat 1 ENG.indd

First Page		Document Content
Wrocław University of Technology University of Wrocław Education		WDMkomunikat 1 ENG.indd Add to Reading List Source URL: wdm.pwr.edu.pl Download Document from Source Website File Size: 1,24 MB Share Document on Facebook

	Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland DocID: 1vgER - View Document
	Modal Logics Definable by Universal Three-Variable Formulas Emanuel Kieroński∗ , Jakub Michaliszyn∗ , and Jan Otop Institute of Computer Science University of Wrocław {kiero,jmi,jotop}@cs.uni.wroc.pl DocID: 1v4GM - View Document
	A Faster FPTAS for #Knapsack Paweł Gawrychowski Institute of Computer Science, University of Wrocław, Poland Liran Markin1 DocID: 1uqF4 - View Document
	Syntax and Semantics for Operations with Scopes Maciej Piróg Tom Schrijvers University of Wrocław DocID: 1u1IQ - View Document
	Easyprove: a tool for teaching precise reasoning Marek Materzok1 1 Institute of Computer Science University of Wrocław, Poland DocID: 1u13N - View Document