Publikacje

Czasopismo: 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 września 2023 - 7 września 2023, 386 2023, s. 51-66. Zobacz w 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, s. 29-43. Zobacz w PBN

2019

• Paweł Parys , Intersection Types for Unboundedness Problems, Electronic Proceedings in Theoretical Computer Science, 293 2019, s. 7-27. Zobacz w 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. Zobacz w 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. Zobacz w PBN

2012

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