메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 1493, Issue , 1998, Pages 154-172
Recursive definitions in Z
Author keywords

[No Author keywords available]
Indexed keywords

ALGEBRA;
EID: 84957684751     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0056032     Document Type: Conference Paper
Times cited : (4)
References (13)
  • 1
    • 0039017298 scopus 로고
    • On Free Type Definitions in Z
    • J. E. Nicholls, editor, Workshops in Computing, Springer-Verlag,154, 155, 156, 163, 166, 170
    • R. D. Arthan. On Free Type Definitions in Z. In J. E. Nicholls, editor, Z User Workshop, York 1991. Workshops in Computing, pages 40-58. Springer-Verlag, 1992. 154, 155, 156, 163, 166, 170
    • (1992) Z User Workshop, York 1991 , pp. 40-58
    • Arthan, R.D.1
  • 3
    • 84957673886 scopus 로고    scopus 로고
    • Mechanizing the Z Toolkit
    • M. Mislova, editor, Elsevier Electronics Notes in Computer Science, To appear, 154
    • R. D. Arthan. Mechanizing the Z Toolkit. In M. Mislova, editor, Proceedings of the Oxford Workshop on Automated Formal Methods. Elsevier Electronics Notes in Computer Science, To appear 1998. 154
    • (1998) Proceedings of the Oxford Workshop on Automated Formal Methods
    • Arthan, R.D.1
  • 4
    • 0004214179 scopus 로고
    • D. Reidel Publishing Company, 166
    • P. M. Cohn. Universal Algebra. D. Reidel Publishing Company, 1981. 166
    • (1981) Universal Algebra
    • Cohn, P.M.1
  • 6
    • 0043036818 scopus 로고
    • Automating Recursive Type Definitions in Higher Order Logic
    • G. Birtwistle and P. A. Subrahmanyam, editors, Springer-Verlag, 171
    • T. F. Melham. Automating Recursive Type Definitions in Higher Order Logic. In G. Birtwistle and P. A. Subrahmanyam, editors, Current Trends in Hardware Verification and Automated Theorem Proving. Springer-Verlag, 1989. 171
    • (1989) Current Trends in Hardware Verification and Automated Theorem Proving
    • Melham, T.F.1
  • 7
    • 84957657106 scopus 로고
    • RSRE Memorandum 91028. MOD PE, RSRE, UK, 154
    • A. Smith. On Recursive Free Types in Z. RSRE Memorandum 91028. MOD PE, RSRE, UK, 1991. 154
    • (1991) On Recursive Free Types in Z
    • Smith, A.1
  • 8
    • 0003566434 scopus 로고
    • Prentice Hall International Series in Computer Science, 154
    • J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 1989. 154
    • (1989) The Z Notation: A Reference Manual
    • Spivey, J.M.1
  • 10
  • 11
    • 0030356899 scopus 로고    scopus 로고
    • The Consistency Theorem for Free Type Definitions in Z (Short Communication)
    • 154
    • J. M. Spivey. The Consistency Theorem for Free Type Definitions in Z (Short Communication). Formal Aspects of Computing, 8(3):369-376, 1996. 154
    • (1996) Formal Aspects of Computing , vol.8 , Issue.3 , pp. 369-376
    • Spivey, J.M.1
  • 12
    • 33745671495 scopus 로고    scopus 로고
    • Inconsistency and Undefinedness in Z - A Practical Guide
    • J. P. Bowen, A. Fett, and M. G. Hinchey, editors, Springer-Verlag,This volume. 156
    • S. Valentine. Inconsistency and Undefinedness in Z - A Practical Guide. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM’98: The Z Formal Specification Notation, Lecture Notes in Computer Science, volume 1493, pages 233-249. Springer-Verlag, 1998. This volume. 156
    • (1998) ZUM’98: The Z Formal Specification Notation, volume 1493, Lecture Notes in Computer Science , pp. 233-249
    • Valentine, S.1

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