Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings (Theoretical Computer Science and General Issues)
Kohlenbach, Ulrich／Barceló, Pablo／de Queiroz, Ruy J G B
検索中
Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings (Theoretical Computer Science and General Issues)
Libkin, Leonid／Kohlenbach, Ulrich／de Queiroz, Ruy
検索中
