결정적 Kleene 대수 테스트 프로그램의 완전한 추론 시스템

본 논문은 Kleene 대수 테스트(GKAT)의 결정적 프로그램 부분에 대한 완전한 대수적 공리화를 제시한다. 이를 통해 GKAT 프로그램의 등가성을 효율적으로 증명할 수 있다.