Cops and CoCoWeb: Infrastructure for Confluence Tools

Title:Cops and CoCoWeb: Infrastructure for Confluence Tools

Authors:Nao Hirokawa, Julian Nagele and Aart Middeldorp

Conference:IJCAR-2018

Tags:confluence competition, confluence problem, confluence tool, problem database, rewrite system, rewriting and term rewrite system

Abstract:

In this paper we describe the infrastructure supporting confluence tools and competitions: Cops, the confluence problems database, and CoCoWeb, a convenient web interface for tools that participate in the annual confluence competition.

Cops and CoCoWeb: Infrastructure for Confluence Tools

1

4

7

10

13

16

19

22

25

28

31

34

37

40

43

46

49

52

55

58

61

64

67

70

73

76

79

82

85

88

91

94

97

100

103

105

1of105

1

2

3

4