Problem Strategy outermost added 08 Ex1 GL02a L

MAYBE

We consider the following Problem:

  Strict Trs:
    {  eq() -> true()
     , eq() -> eq()
     , eq() -> false()
     , inf(X) -> cons()
     , take(0(), X) -> nil()
     , take(s(), cons()) -> cons()
     , length(nil()) -> 0()
     , length(cons()) -> s()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  eq() -> true()
     , eq() -> eq()
     , eq() -> false()
     , inf(X) -> cons()
     , take(0(), X) -> nil()
     , take(s(), cons()) -> cons()
     , length(nil()) -> 0()
     , length(cons()) -> s()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  eq() -> true()
     , eq() -> eq()
     , eq() -> false()
     , inf(X) -> cons()
     , take(0(), X) -> nil()
     , take(s(), cons()) -> cons()
     , length(nil()) -> 0()
     , length(cons()) -> s()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  eq() -> true()
     , eq() -> eq()
     , eq() -> false()
     , inf(X) -> cons()
     , take(0(), X) -> nil()
     , take(s(), cons()) -> cons()
     , length(nil()) -> 0()
     , length(cons()) -> s()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  eq() -> true()
     , eq() -> eq()
     , eq() -> false()
     , inf(X) -> cons()
     , take(0(), X) -> nil()
     , take(s(), cons()) -> cons()
     , length(nil()) -> 0()
     , length(cons()) -> s()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MAYBE

We consider the following Problem:

  Strict Trs:
    {  eq() -> true()
     , eq() -> eq()
     , eq() -> false()
     , inf(X) -> cons()
     , take(0(), X) -> nil()
     , take(s(), cons()) -> cons()
     , length(nil()) -> 0()
     , length(cons()) -> s()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..