Problem Mixed TRS jones6

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(a, empty()) -> g(a, empty())
     , f(a, cons(x, k)) -> f(cons(x, a), k)
     , g(empty(), d) -> d
     , g(cons(x, k), d) -> g(k, cons(x, d))}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(a, empty()) -> g(a, empty())
     , f(a, cons(x, k)) -> f(cons(x, a), k)
     , g(empty(), d) -> d
     , g(cons(x, k), d) -> g(k, cons(x, d))}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(a, empty()) -> g(a, empty())
     , f(a, cons(x, k)) -> f(cons(x, a), k)
     , g(empty(), d) -> d
     , g(cons(x, k), d) -> g(k, cons(x, d))}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(a, empty()) -> g(a, empty())
     , f(a, cons(x, k)) -> f(cons(x, a), k)
     , g(empty(), d) -> d
     , g(cons(x, k), d) -> g(k, cons(x, d))}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(a, empty()) -> g(a, empty())
     , f(a, cons(x, k)) -> f(cons(x, a), k)
     , g(empty(), d) -> d
     , g(cons(x, k), d) -> g(k, cons(x, d))}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(a, empty()) -> g(a, empty())
     , f(a, cons(x, k)) -> f(cons(x, a), k)
     , g(empty(), d) -> d
     , g(cons(x, k), d) -> g(k, cons(x, d))}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..