Program checkers for probability generation

Sampath Kannan; Andrew Yao

doi:10.1007/3-540-54233-7_132

Program checkers for probability generation

Sampath Kannan
, Andrew Yao

电子与信息学部

University of Arizona

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

4 引用（Scopus）

源语言	英语
主期刊名	Automata, Languages and Programming - 18th International Colloquium, Proceedings
编辑	Javier Leach Albert, Mario Rodriguez Artalejo, Burkhard Monien
出版商	Springer Verlag
页	163-173
页数	11
ISBN（印刷版）	9783540542339
DOI	https://doi.org/10.1007/3-540-54233-7_132
出版状态	已出版 - 1991
活动	18th International Colloqulum on Automata, Languages, and Programming, ICALP 1991 - Madrid, 西班牙期限: 8 7月 1991 → 12 7月 1991

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	510 LNCS
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

会议

会议	18th International Colloqulum on Automata, Languages, and Programming, ICALP 1991
国家/地区	西班牙
市	Madrid
时期	8/07/91 → 12/07/91

访问文件

10.1007/3-540-54233-7_132

其它文件与链接

链接到 Scopus 的出版物

引用此

Kannan, S., & Yao, A. (1991). Program checkers for probability generation. 在 J. L. Albert, M. R. Artalejo, & B. Monien (编辑), Automata, Languages and Programming - 18th International Colloquium, Proceedings (页码 163-173). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 510 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-54233-7_132

Kannan, Sampath ; Yao, Andrew. / Program checkers for probability generation. Automata, Languages and Programming - 18th International Colloquium, Proceedings. 编辑 / Javier Leach Albert ; Mario Rodriguez Artalejo ; Burkhard Monien. Springer Verlag, 1991. 页码 163-173 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{287b8f7050d24173af25e3405af18885,

title = "Program checkers for probability generation",

author = "Sampath Kannan and Andrew Yao",

year = "1991",

doi = "10.1007/3-540-54233-7\_132",

language = "英语",

isbn = "9783540542339",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "163--173",

editor = "Albert, \{Javier Leach\} and Artalejo, \{Mario Rodriguez\} and Burkhard Monien",

booktitle = "Automata, Languages and Programming - 18th International Colloquium, Proceedings",

note = "18th International Colloqulum on Automata, Languages, and Programming, ICALP 1991 ; Conference date: 08-07-1991 Through 12-07-1991",

}

Kannan, S & Yao, A 1991, Program checkers for probability generation. 在 JL Albert, MR Artalejo & B Monien (编辑), Automata, Languages and Programming - 18th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 510 LNCS, Springer Verlag, 页码 163-173, 18th International Colloqulum on Automata, Languages, and Programming, ICALP 1991, Madrid, 西班牙, 8/07/91. https://doi.org/10.1007/3-540-54233-7_132

Program checkers for probability generation. / Kannan, Sampath; Yao, Andrew.
Automata, Languages and Programming - 18th International Colloquium, Proceedings. 编辑 / Javier Leach Albert; Mario Rodriguez Artalejo; Burkhard Monien. Springer Verlag, 1991. 页码 163-173 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 510 LNCS).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

TY - GEN

T1 - Program checkers for probability generation

AU - Kannan, Sampath

AU - Yao, Andrew

PY - 1991

Y1 - 1991

UR - https://www.scopus.com/pages/publications/84976854087

U2 - 10.1007/3-540-54233-7_132

DO - 10.1007/3-540-54233-7_132

M3 - 会议稿件

AN - SCOPUS:84976854087

SN - 9783540542339

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 163

EP - 173

BT - Automata, Languages and Programming - 18th International Colloquium, Proceedings

A2 - Albert, Javier Leach

A2 - Artalejo, Mario Rodriguez

A2 - Monien, Burkhard

PB - Springer Verlag

T2 - 18th International Colloqulum on Automata, Languages, and Programming, ICALP 1991

Y2 - 8 July 1991 through 12 July 1991

ER -

Kannan S, Yao A. Program checkers for probability generation. 在 Albert JL, Artalejo MR, Monien B, 编辑, Automata, Languages and Programming - 18th International Colloquium, Proceedings. Springer Verlag. 1991. 页码 163-173. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-54233-7_132