Foundations of software science and computation structures 22nd international conference, FOSSACS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings - Bojańczyk, Mikołaj; Simpson, Alex K. (Springer, 2019)
Keywords: Mathematical Logic and Formal Languages; Artificial Intelligence; Discrete Mathematics in Computer Science; Data Structures; Programming Languages, Compilers, Interpreters; Programming Techniques; Computer science; Artificial intelligence; Computational complexity; Data structures (Computer scienc; Formale Methode; Theoretische Informatik; Mathematische Logik; Programmierlogik; Software Engineering; Softwarewissenschaft; Programmierung; Programmiersprache; Konferenzschrift -- 2019 -- Prag; Aufsatzsammlung