Back to the list of the institutes
Publications
Journal: Electronic Proceedings in Theoretical Computer Science
Number of publications: 62023
- 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