Mikołaj - PDFSEARCH.IO - Document Search Engine

Mikołaj
Results: 119

#	Item
31	Efficient Evaluation of Nondeterministic Automata Using Factorization Forests? Mikolaj Boja´ nczyk and Pawel Parys University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:12:37
32	arXiv:1502.04578v2 [cs.LO] 17 FebThe mso+u theory of (N, <) is undecidable Mikolaj Boja´ nczyk, Pawel Parys, Szymon Toru´ nczyk Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:16:52
33	Dynamic JUNQ inclusion bodies are asymmetrically inherited in mammalian cell lines through the asymmetric partitioning of vimentin Mikołaj Ogrodnik1, Hanna Salmonowicz1, Rachel Brown, Joanna Turkowska, Władysław Sre Add to Reading List Source URL: www.kaganovichlab.com Language: English - Date: 2014-05-19 16:36:34
34	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: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:14:11
35	Regular languages of thin trees Mikołaj Bojańczyk, Tomasz Idziaszek, and Michał Skrzypczak University of Warsaw∗ {bojan,idziaszek,mskrzypczak}@mimuw.edu.pl Abstract Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:14:41
36	Towards Nominal Computation Mikołaj Boja´nczyk ∗ Laurent Braud † Bartek Klin Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:14:09
37	Nominal Monoids Mikolaj Boja´ nczyk∗ Warsaw University Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:18:21
38	Transducers with origin information Mikolaj Boja´ nczyk? University of Warsaw Abstract. Call a string-to-string function regular if it can be realised by Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:12:10
39	Two-Variable Logic on Data Trees and XML Reasoning Mikolaj Boja´ nczyk Warsaw University and Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2015-05-11 06:17:43
40	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: 2015-05-11 06:13:43

UPDATE