Confluence competition 2015

Takahito Aoto; Nao Hirokawa; Julian Nagele; Naoki Nishida; Harald Zankl

doi:10.1007/978-3-319-21401-6_5

Confluence competition 2015

Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl

電気通信研究所・システム・ソフトウエア研究部門

研究成果: Conference article › 査読

10 被引用数 (Scopus)

抄録

Confluence is one of the central properties of rewriting. Our competition aims to foster the development of techniques for proving/disproving confluence of various formalisms of rewriting automatically. We explain the background and setup of the 4th Confluence Competition.

本文言語	English
ページ（範囲）	101-104
ページ数	4
ジャーナル	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
巻	9195
DOI	https://doi.org/10.1007/978-3-319-21401-6_5
出版ステータス	Published - 2015
イベント	25th International Conference on Automated Deduction CADE 2015 - Berlin, Germany 継続期間: 2015 8月 1 → 2015 8月 7

ASJC Scopus subject areas

理論的コンピュータサイエンス
コンピュータサイエンス（全般）

文献へのアクセス

10.1007/978-3-319-21401-6_5

他のファイルとリンク

引用スタイル

@article{a1e235cd280a43cd9a246148ad33efe3,

title = "Confluence competition 2015",

abstract = "Confluence is one of the central properties of rewriting. Our competition aims to foster the development of techniques for proving/disproving confluence of various formalisms of rewriting automatically. We explain the background and setup of the 4th Confluence Competition.",

author = "Takahito Aoto and Nao Hirokawa and Julian Nagele and Naoki Nishida and Harald Zankl",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 25th International Conference on Automated Deduction CADE 2015 ; Conference date: 01-08-2015 Through 07-08-2015",

year = "2015",

doi = "10.1007/978-3-319-21401-6_5",

language = "English",

volume = "9195",

pages = "101--104",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Confluence competition 2015

AU - Aoto, Takahito

AU - Hirokawa, Nao

AU - Nagele, Julian

AU - Nishida, Naoki

AU - Zankl, Harald

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2015.

PY - 2015

Y1 - 2015

N2 - Confluence is one of the central properties of rewriting. Our competition aims to foster the development of techniques for proving/disproving confluence of various formalisms of rewriting automatically. We explain the background and setup of the 4th Confluence Competition.

AB - Confluence is one of the central properties of rewriting. Our competition aims to foster the development of techniques for proving/disproving confluence of various formalisms of rewriting automatically. We explain the background and setup of the 4th Confluence Competition.

UR - http://www.scopus.com/inward/record.url?scp=84959421531&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84959421531&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-21401-6_5

DO - 10.1007/978-3-319-21401-6_5

M3 - Conference article

AN - SCOPUS:84959421531

VL - 9195

SP - 101

EP - 104

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

T2 - 25th International Conference on Automated Deduction CADE 2015

Y2 - 1 August 2015 through 7 August 2015

ER -

Confluence competition 2015

抄録

ASJC Scopus subject areas

文献へのアクセス

他のファイルとリンク

フィンガープリント

引用スタイル