{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:25Z","timestamp":1725664165969},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612087"},{"type":"electronic","value":"9783540683681"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61208-4_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:19:25Z","timestamp":1330291165000},"page":"261-277","source":"Crossref","is-referenced-by-count":5,"title":["A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits"],"prefix":"10.1007","author":[{"given":"Michael","family":"Mendler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"17_CR1","volume-title":"International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems","author":"ACM","year":"1993","unstructured":"ACM. International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Intermar Hotel Malente, Germany, September 1993."},{"doi-asserted-by":"crossref","unstructured":"A. G. Dragalin. Mathematical Intuitionism. Introduction to Proof Theory. American Mathematical Society, 1988.","key":"17_CR2","DOI":"10.1090\/mmono\/067"},{"issue":"3","key":"17_CR3","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"R. Dyckhoff","year":"1992","unstructured":"R. Dyckhoff. Contraction-free sequent calculi for intuitionistic logic. The Journal of Symbolic Logic, 57(3):795\u2013807, September 1992.","journal-title":"The Journal of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"M. Fairtlough and M. Mendler. An intuitionistic modal logic with applications to the formal verification of hardware. In Proceedings of the 1994 Annual Conference of the European Association for Computer Science Logic, pages 354\u2013368. University of Warsawa, Springer, LNCS 933, 1995.","key":"17_CR4","DOI":"10.1007\/BFb0022268"},{"unstructured":"Torkel Franz\u00e9n. Algorithmic aspects of intuitionistic propositional logic. Research Report SICS R87010, Swedish Institute of Computer Science, 1987.","key":"17_CR5"},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934\u20131935","unstructured":"G. Gentzen. Untersuchungen \u00fcber das Logische Schlie\u00dfen. Math. Z., 39:176\u2013210, 405\u2013431, 1934\u20131935.","journal-title":"Math. Z."},{"unstructured":"J. Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge University Press, 1989.","key":"17_CR7"},{"key":"17_CR8","volume-title":"Exact timing analysis considering data dependent delays","author":"C. T. Gray","year":"1993","unstructured":"C. T. Gray, W. Liu, and R. K. Cavin III. Exact timing analysis considering data dependent delays. [1]."},{"unstructured":"D. Gurr. Semantic Frameworks for Complexity. PhD thesis, Edinburgh University, Department of Computer Science, January 1991.","key":"17_CR9"},{"unstructured":"Lego. The lego proof assistant. http:\/\/www.dcs.ed.ac.uk\/packages\/lego on the World Wide Web, 1995.","key":"17_CR10"},{"doi-asserted-by":"crossref","unstructured":"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.","key":"17_CR11","DOI":"10.1007\/978-1-4471-3544-9_1"},{"unstructured":"M. Mendler. A Modal Logic for Handling Behavioural Constraints in Formal Hardware Verification. PhD thesis, Department of Computer Science, University of Edinburgh, ECS-LFCS-93-255, March 1993.","key":"17_CR12"},{"doi-asserted-by":"crossref","unstructured":"M. Mendler. A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits. Technical Report MIP-9518, University of Passau, November 1995.","key":"17_CR13","DOI":"10.1007\/3-540-61208-4_17"},{"doi-asserted-by":"crossref","unstructured":"M. Mendler and M. Fairtlough. Ternary simulation: A refinement of binary functions or an abstraction of real-time behaviour? Technical Report MIP-9605, University of Passau, March 1996.","key":"17_CR14","DOI":"10.14236\/ewic\/DCC1996.8"},{"doi-asserted-by":"crossref","unstructured":"E. Moggi. Computational lambda-calculus and monads. In Proceedings LIGS'89, pages 14\u201323, June 1989.","key":"17_CR15","DOI":"10.1109\/LICS.1989.39155"},{"key":"17_CR16","volume-title":"BinProlog 3.45 User Guide","author":"P. Tharau","year":"1995","unstructured":"P. Tharau. BinProlog 3.45 User Guide. Departement d'Informatique, Universit\u00e9 de Moncton, Canada, June 1995."}],"container-title":["Lecture Notes in Computer Science","Theorem Proving with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61208-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:29:45Z","timestamp":1619573385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61208-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612087","9783540683681"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61208-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}