학술논문
'학술논문'
에서 검색결과 93건 | 목록
1~10
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, June 2021, 65(5):599-645)
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 December 2020, 30(8):1447-1468)
Conference
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on. :213-219 1994
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, 15 June 2019, 63(1):95-126)
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, 15 March 2019, 62(3):393-430)
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, 6 January 2018, 706:83-116)
Academic Journal
In: Annals of Pure and Applied Logic . (Annals of Pure and Applied Logic, October 2017, 168(10):1783-1836)
Academic Journal
In: Journal of Logic and Computation . (Journal of Logic and Computation, 1 September 2017, 27(7):1897-1954)
Conference
Bolotov, A.; Fang, J.; Francez, N.; Goranko, V.; Grygiel, J.; Kamide, N.; Leitsch, A.; Malinowski, J.; Martins, M.A.; Mundici, D.; Odintsov, S.; Ono, H.; Orlandelli, E.; Paoli, F.; Pelletier, J.; Pereira, L.C.; Poggiolesi, F.; Ramanayake, R.; Schmidt, R.; Shramko, Y.; Urchs, M.; Tourlakis, G.; Wansing, H.; Zaitsev, D.; Gruszczyński, R.; Jarmużek, T.; Klonowski, M.; Mruczek-Nasieniewska, K.; Nasieniewski, M.; Palczewski, R.; Pietruszczak, A.; Indrzejczak, A.; Kaczmarek, J.; Zawidzki, M.; Berger, U.; Conradie, W.; Dalmonte, T.; Dicher, B.; Drobyshevich, S.; Enqvist, S.; Figueiredo, D.; Fiorino, G.; Grabarczyk, P.; Greco, G.; Huuskonen, T.; Kubyshkina, E.; Leszczyńska-Jasion, D.; Lopes, B.; Łukowski, P.; Madeira, A.; Nowak, M.; Petrolo, M.; Płaczek, P.; Tesi, M.; Zhao, Z.
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 14 April 2022, 358)
Academic Journal
Journal of the ACM; Apr1985, Vol. 32 Issue 2, p280-295, 16p
검색 결과 제한하기
제한된 항목
[AR] Leitsch, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어