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
出版ステータスPublished - 2015
イベント25th International Conference on Automated Deduction CADE 2015 - Berlin, Germany
継続期間: 2015 8 12015 8 7

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Confluence competition 2015」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル