Nie jesteś zalogowany | Zaloguj się

Filip Mazowiecki

Liczba publikacji: 44

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

  • Joanna Ochremiak, Adam Witkowski, Filip Mazowiecki , Eliminating Recursion from Monadic Datalog Programs on Trees, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MIlan, Italy, 24 sierpnia 2015 - 28 sierpnia 2015. Zobacz w PBN
  • Cristian Riveros, Filip Mazowiecki , Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata, 2015. Zobacz w PBN

2014

  • Emanuel Kieroński, Witold Charatonik, Filip Mazowiecki , Decidability of weak logics with deterministic transitive closure, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, 2014. Zobacz w PBN
  • Filip Murlak , Adam Witkowski, Filip Mazowiecki , Monadic Datalog and Regular Tree Pattern Queries, Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II, 2014. Zobacz w PBN

2013