Automation for interactive proof: First prototype

Jia Meng; Claire Quigley; Lawrence C. Paulson

doi:science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c

Automation for interactive proof: First prototype

Jia Meng, Claire Quigley, Lawrence C. Paulson

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1575-1596
Journal	Information and Computation
Volume	204
Issue number	10
DOIs	https://doi.org/science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c
Publication status	Published - 2006

Access to Document

science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c

Cite this

Meng, J., Quigley, C., & Paulson, L. C. (2006). Automation for interactive proof: First prototype. Information and Computation, 204(10), 1575-1596. https://doi.org/science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c

@article{ba9484144ec94e608b5107f717a4e2ba,

title = "Automation for interactive proof: First prototype",

author = "Jia Meng and Claire Quigley and Paulson, {Lawrence C.}",

year = "2006",

doi = "science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c",

language = "English",

volume = "204",

pages = "1575--1596",

journal = "Information and Computation",

publisher = "Academic Press",

number = "10",

}

Meng, J, Quigley, C & Paulson, LC 2006, 'Automation for interactive proof: First prototype', Information and Computation, vol. 204, no. 10, pp. 1575-1596. https://doi.org/science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c

TY - JOUR

T1 - Automation for interactive proof: First prototype

AU - Meng, Jia

AU - Quigley, Claire

AU - Paulson, Lawrence C.

PY - 2006

Y1 - 2006

U2 - science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c

DO - science?_ob=ArticleURL&_udi=B6WGK-4K9C6J3-1&_user=554534&_coverDate=10%2F31%2F2006&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000028338&_version=1&_urlVersion=0&_userid=554534&md5=1487aa40713f560e3bd241e1ebcab69c

M3 - Article

VL - 204

SP - 1575

EP - 1596

JO - Information and Computation

JF - Information and Computation

IS - 10

ER -