Top

R (Lemmas)

Files

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Definitions

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Lemmas

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Abbreviations

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Global Index

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

Notations

R (Lemmas)

reduced_admissible_form [prf, in scurve.Admissible]
reduced_admissible_form_quotient [prf, in scurve.Admissible]
reduced_form [prf, in scurve.Reduction]
ReduceDir_local_confluence [prf, in scurve.Reduction]
ReduceDir_local_confluence_aux [prf, in scurve.Reduction]
ReduceDir_preserve_both_ends [prf, in scurve.Reduction]
ReduceDir_reduced_form_MinusMinus [prf, in scurve.Reduction]
ReduceDir_reduced_form_MinusPlusRepeat [prf, in scurve.Reduction]
ReduceDir_reduced_form_PlusMinusRepeat [prf, in scurve.Reduction]
ReduceDir_reduced_form_PlusPlus [prf, in scurve.Reduction]
ReduceDirStep_ex_sublist [prf, in scurve.Reduction]
ReduceDirStep_length [prf, in scurve.Reduction]
ReduceDirStep_preserve_both_ends [prf, in scurve.Reduction]
ReduceDirStep_Reduce_dir [prf, in scurve.Reduction]
repeat_dif_M [prf, in scurve.Admissible]
repeat_dif_P [prf, in scurve.Admissible]
repeat_last_M [prf, in scurve.Reduction]
repeat_last_P [prf, in scurve.Reduction]
rev_nil_inv [prf, in scurve.ListExt]
rotate_dif_four_len_eight [prf, in scurve.Admissible]
rotation_difference_distribution [prf, in scurve.Reduction]
rotation_difference_preservation [prf, in scurve.Reduction]
rotation_difference_preservation_rule [prf, in scurve.Reduction]
rotation_difference_preservation_step [prf, in scurve.Reduction]
Rule_app_inv [prf, in scurve.Reduction]
Rule_preserve_both_ends [prf, in scurve.Reduction]
Rule_same_src [prf, in scurve.Reduction]