Mikołaj - PDFSEARCH.IO - Document Search Engine

Mikołaj
Results: 119

#	Item
41	XPath Evaluation in Linear Time ´ MIKOLAJ BOJANCZYK and PAWEL PARYS Warsaw University We consider a fragment of XPath 1.0, where attribute and text values may be compared. We Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:18:10
42	Theory Comput Syst: 554–576 DOIs00224Weak MSO with the Unbounding Quantifier ´ Mikołaj Bojanczyk Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:18:22
43	Modelling Infinite Structures with Atoms Mikolaj Boja´ nczyk? University of Warsaw Abstract. The topic is a variant of first-order logic defined in the framework of sets with atoms, which allows formulas to use orbit-f Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:15:24
44	Forest Algebras Mikolaj Boja´ nczyk1 Igor Walukiewicz2 1 Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:11:05
45	Regular Languages of Infinite Trees that are Boolean Combinations of Open Sets Mikolaj Boja´ nczyk and Thomas Place? University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:13:03
46	Efficient evaluation for a temporal logic on changing XML documents∗ ´ Mikołaj Bojanczyk Diego Figueira Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:13:57
47	Verification of database-driven systems via amalgamation ∗ ´ Mikołaj Bojanczyk Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:15:17
48	Shuffle expressions and words with nested data Henrik Bj¨orklund1 Mikolaj Boja´ nczyk2 1 University of Dortmund Add to Reading List Source URL: duch.mimuw.edu.pl Language: English - Date: 2015-05-11 06:13:53
49	Submitted to the International Conference on Rewriting Techniques and Applications http://rewriting.loria.fr/rta/ AUTOMATA FOR DATA WORDS AND DATA TREES ´ MIKOLAJ BOJANCZYK Add to Reading List Source URL: duch.mimuw.edu.pl Language: English - Date: 2015-05-11 06:14:11
50	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: duch.mimuw.edu.pl Language: English - Date: 2015-05-11 06:13:43

UPDATE