지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1998.4
- 수록면
- 405 - 412 (8page)
이용수
초록· 키워드
오류제보하기
Bohm의 분리성 (separability) 이론은 람다 계산법 (Lambda Calculus)에서 잘 정리되었다. 본 논문에서는 Bohm의 분리성 이론을 TRS(term rewriting systems)에 적용하여 separable 시스템을 정의하고, 그 시스템의 주요 특성들을 밝혀낸다. Huet과 Levy에 의해서 개발된 TRS에서의 강력 순차성(strong sequentiality) 이론과 주요 특성들을 소개한 다음, constructor TRS인 경우 분리성과 강력 순차성은 상호 일치함을 증명한다.
목차
요약
Abstract
1. Introduction
2. Preliminaries
3. Strongly sequential systems
4. Separable systems
5. Conclusion
References
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
분리가능 시스템의 지수 추이성과 변환
정보과학회논문지 : 소프트웨어 및 응용
2004 .05
-
Translation of Separable Systems into the Lambda Calculus
정보과학회논문지 : 시스템 및 이론
2008 .04
-
On Separability of Fuzzy Relations
INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS
2017 .09
-
EXCLUSIVE OR SEPARABLE LINEAR ELEMENT
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1992 .01
-
A Study on the Performance of Non-Separable Image Processing via Lifting Scheme
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2004 .07
-
고분자 점탄성에서 Time-Strain Non-Separability
한국유변학회 학술발표회
2000 .01
-
분리성에 기반한 직교항 개서 시스템의 변환
정보과학회논문지 : 소프트웨어 및 응용
2001 .08
-
2차원 Quadrature Polar Separable 필터의 최적 설계 ( Optimal Design of a 2-D Quadrature Polar Separable Filter )
한국통신학회논문지
1991 .05
-
고분자 점탄성에서 Time - Strain Non - Separability 와 그 열역학적 의미
폴리머
2001 .07
-
Observation of Aharonov-Bohm Effect in a Mesoscopic Ring Structure
대한전자공학회 학술대회
1995 .01
-
조직 분석을 위한 최적 2차원 Quadrature Polar Separable 필터 ( An Optimal 2D Quadrature Polar Separable Filter for Texture Analysis )
한국통신학회논문지
1992 .03
-
지연 함수형 프로그래밍 언어의 항 개서 의미
정보과학회논문지 : 시스템 및 이론
2008 .04
-
Effect of Prior Probabilities on the Classification Accuracy under the Condition of Poor Separability
한국측량학회지
2008 .08
-
A New Structure of Error Feedback in 2-D Separable-Denominator Digital Filters
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2003 .07
-
Beating of Aharonov-Bohm Oscillations in a Closed-Loop Interferometer
한국초전도학회 High Temperature Superconductivity
2007 .01
-
Observation of Aharonov-Bohm Oscillation in ZnMgO/ZnO Coaxial Nanorod Heterostructure
한국초전도학회 High Temperature Superconductivity
2007 .01
-
조립부품의 분리도 및 불안정도를 이용한 Turning device의 선정
Journal of the Korean Society for Precision Engineering
1995 .01
-
Improved Design of the 2-D Quadrature Polar Separable Filter for Texture Processing
대한전자공학회 기타 간행물
1994 .01
-
디스플레이 분리형 암모니아 검지기 설계 및 개발
한국가스학회 학술대회논문집
2016 .06
-
분해도를 이용한 조립순서 추론에 관한 연구
대한전자공학회 학술대회
1992 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017732277