Sequents and TreesAndrzej Indrzejczak라이브러리에 저장컬렉션에 추가2020Studies in universal logic31 citationsDOITopics & ConceptsComputer scienceData Mining Algorithms and ApplicationsAdvanced Database Systems and Queries