Skip to main content
SpringerLink
Log in

Confluence Competition 2015

  • Conference paper
  • First Online:
Automated Deduction - CADE-25 (CADE 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9195))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    http://coco.nue.riec.tohoku.ac.jp.

References

  1. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)

    Google Scholar 

  2. Mayr, R., Nipkow, T.: Higher-order rewrite systems and their confluence. Theor. Comput. Sci. 192(1), 3–29 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  3. Ohlebusch, E.: Advanced Topics in Term Rewriting Systems. Springer, New York (2002)

    Book  Google Scholar 

  4. Stump, A., Sutcliffe, G., Tinelli, C.: StarExec: a cross-community infrastructure for logic solving. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 367–373. Springer, Heidelberg (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tohoku University, Sendai, Japan

    Takahito Aoto

  2. JAIST, Nomi, Japan

    Nao Hirokawa

  3. University of Innsbruck, Innsbruck, Austria

    Julian Nagele & Harald Zankl

  4. Nagoya University, Nagoyo, Japan

    Naoki Nishida

Authors
  1. Takahito Aoto
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nao Hirokawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Julian Nagele
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Naoki Nishida
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Harald Zankl
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Takahito Aoto .

Editor information

Editors and Affiliations

  1. University of Ottawa, Ottawa, Canada

    Amy P. Felty

  2. University of Innsbruck, Innsbruck, Austria

    Aart Middeldorp

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Aoto, T., Hirokawa, N., Nagele, J., Nishida, N., Zankl, H. (2015). Confluence Competition 2015. In: Felty, A., Middeldorp, A. (eds) Automated Deduction - CADE-25. CADE 2015. Lecture Notes in Computer Science(), vol 9195. Springer, Cham. https://doi.org/10.1007/978-3-319-21401-6_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-21401-6_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-21400-9

  • Online ISBN: 978-3-319-21401-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation