메뉴 건너뛰기




Volumn 1071, Issue , 1996, Pages 261-277

A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL CIRCUITS; COMPUTER CIRCUITS; FORMAL LOGIC; INTEGRATED CIRCUITS; LOGIC CIRCUITS; RECONFIGURABLE HARDWARE; SEMANTICS; STABILIZATION; THEOREM PROVING;

EID: 21344433632     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61208-4_17     Document Type: Conference Paper
Times cited : (5)

References (16)
  • 2
    • 0009889227 scopus 로고
    • Mathematical Intuitionism
    • American Mathematical Society
    • A. G. Dragalin. Mathematical Intuitionism. Introduction to Proof Theory. American Mathematical Society, 1988.
    • (1988) Introduction to Proof Theory
    • Dragalin, A.G.1
  • 3
    • 0001055868 scopus 로고
    • Contraction-free sequent calculi for intuitionistic logic
    • September
    • R. Dyckhoff. Contraction-free sequent calculi for intuitionistic logic. The Journal of Symbolic Logic, 57(3):795-807, September 1992.
    • (1992) The Journal of Symbolic Logic , vol.57 , Issue.3 , pp. 795-807
    • Dyckhoff, R.1
  • 6
    • 27944496797 scopus 로고
    • Untersuchungen fiber das Logische Schlieflen
    • G. Gentzen. Untersuchungen fiber das Logische Schlieflen. Math. Z., 39:176-210, 405-431, 1934-1935.
    • (1934) Math. Z , vol.39
    • Gentzen, G.1
  • 9
    • 0343702576 scopus 로고
    • PhD thesis, Edinburgh University, Department of Computer Science, January
    • D. Gurr. Semantic Frameworks for Complexity. PhD thesis, Edinburgh University, Department of Computer Science, January 1991.
    • (1991) Semantic Frameworks for Complexity
    • Gurr, D.1
  • 10
    • 84959002483 scopus 로고
    • The Lego proof assistant, on the World Wide Web
    • Lego. The Lego proof assistant, http://wmc.dcs.ed.ac.uk/packages/lego on the World Wide Web, 1995.
    • (1995)
    • Lego1
  • 11
    • 84906349084 scopus 로고
    • Constrained proofs: A logic for dealing with behavioural constraints in formal hardware verification
    • G. Jones and M. Sheeran, editors, Springer
    • M. Mendler. Constrained proofs: a logic for dealing with behavioural constraints in formal hardware verification. In G. Jones and M. Sheeran, editors, Workshop on Designing Correct Circuits. Springer, 1991.
    • (1991) Workshop on Designing Correct Circuits
    • Mendler, M.1
  • 15
    • 0024927385 scopus 로고
    • Computational lambda-calculus and monads
    • June
    • E. Moggi. Computational lambda-calculus and monads. In Proceedings LICS'89, pages 14-23, June 1989.
    • (1989) Proceedings LICS'89 , pp. 14-23
    • Moggi, E.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.