Télécharger Linnk AI
•
Assistant de recherche autonome
>
Connexion
Idée
-
결정적 Kleene 대수 테스트 프로그램의 완전한 추론 시스템
결정적 Kleene 대수 테스트 프로그램의 완전한 추론 시스템
본 논문은 Kleene 대수 테스트(GKAT)의 결정적 프로그램 부분에 대한 완전한 대수적 공리화를 제시한다. 이를 통해 GKAT 프로그램의 등가성을 효율적으로 증명할 수 있다.
1