Search Results for SpringerLink (Online service) - Narrowed by: Esparza, Javier. editor. - Electronic Resources - Mathematical Logic and Formal Languages.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dAUTHOR$002509Yazar$002509Esparza$00252C$002bJavier.$002beditor.$002509Esparza$00252C$002bJavier.$002beditor.$0026qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ps$003d300?2024-09-06T12:25:16ZFoundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2223112024-09-06T12:25:16Z2024-09-06T12:25:16ZYazar Esparza, Javier. editor.<br/><a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4291032024-09-06T12:25:16Z2024-09-06T12:25:16ZYazar Chen, Yu-Fang. editor.<br/><a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format: Electronic Resources<br/>