Mikołaj - PDFSEARCH.IO - Document Search Engine

Mikołaj
Results: 119

#	Item
11	Two-Variable Logic on Data Trees and XML Reasoning Mikolaj Boja´ nczyk Warsaw University and Add to Reading List Source URL: www.labri.fr Language: English - Date: 2012-01-25 16:58:58
12	Two-Variable Logic on Words with Data∗ Mikołaj Boja´nczyk Anca Muscholl Thomas Schwentick Luc Segoufin Warsaw University LIAFA, Paris VII Add to Reading List Source URL: www.labri.fr Language: English - Date: 2006-09-21 10:30:32
13	Deterministic Automata and Extensions of Weak MSO Mikołaj Bojańczyk Szymon Toruńczyk University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2009-11-26 08:26:34
14	Verification of database-driven systems via amalgamation ∗ ´ Mikołaj Bojanczyk Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2013-04-17 14:06:28
15	Two-Variable Logic on Data Trees and XML Reasoning∗ [Extended Abstract] Mikołaj Bojanczyk ´ Claire David Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2011-06-23 11:25:07
16	Computation with atoms Sławomir Lasota University of Warsaw joint work with Mikołaj Bojańczyk, Bartek Klin, Joanna Ochremiak, Szymon Toruńczyk Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2016-03-03 14:19:53
17	1 Turing Machines with Atoms Mikołaj Boja´nczyk, Bartek Klin, Sławomir Lasota, Szymon Toru´nczyk University of Warsaw, e-mail: {bojan,klin,sl,szymtor}@mimuw.edu.pl Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2014-03-25 07:41:05
18	AUTOMATA THEORY IN NOMINAL SETS ´ MIKOLAJ BOJANCZYK, BARTEK KLIN, AND SLAWOMIR LASOTA University of Warsaw e-mail address: Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2014-03-25 07:41:05
19	Weak MSO+U over infinite trees Mikołaj Bojańczyk1 and Szymon Toruńczyk2 1 2 University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-01-11 09:02:31
20	Weak MSO+U over infinite trees∗ Mikołaj Bojańczyk1 and Szymon Toruńczyk†University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:15:14

UPDATE