Publications

Journal: Electronic Proceedings in Theoretical Computer Science

2023

• Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Anh Linh Nguyen , Approximate State Reduction of Fuzzy Finite Automata, Electronic Proceedings in Theoretical Computer Science, The 16th International Conference on Automata and Formal Languages, Eger, Hungary, 5 September 2023 - 7 September 2023, 386 2023, p. 51-66. See in PBN

2020

• Lorenzo Clemente , On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars, Electronic Proceedings in Theoretical Computer Science, 320 2020, p. 29-43. See in PBN

2019

• Paweł Parys , Intersection Types for Unboundedness Problems, Electronic Proceedings in Theoretical Computer Science, 293 2019, p. 7-27. See in PBN

2015

• Marcin Benke, Viviana Bono, Aleksy Schubert , Lucretia - intersection type polymorphism for scripting languages, Electronic Proceedings in Theoretical Computer Science, Intersection Types and Related Systems, Vienna, Austria, 2015. See in PBN

2013

• Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Paweł Urzyczyn , Using Inhabitation in Bounded Combinatory Logic with Intersection Typesfor Composition Synthesis, Electronic Proceedings in Theoretical Computer Science, Intersection Types and Related Systems, 2013. See in PBN

2012

• Wojciech Czerwiński , Sławomir Lasota , Partially-commutative context-free languages, Electronic Proceedings in Theoretical Computer Science, 2012. See in PBN