Top

R (Global Index)

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

R1Minus [constr, in scurve.Reduction]
R1Plus [constr, in scurve.Reduction]
R2Minus [constr, in scurve.Reduction]
R2Plus [constr, in scurve.Reduction]
RDRefl [constr, in scurve.Reduction]
RDS [constr, in scurve.Reduction]
RDTrans [constr, in scurve.Reduction]
Reduce [def, in scurve.Reduction]
reduced [def, in scurve.Admissible]
reduced_admissible_form [prf, in scurve.Admissible]
reduced_admissible_form_quotient [prf, in scurve.Admissible]
reduced_form [prf, in scurve.Reduction]
ReduceDir [ind, in scurve.Reduction]
ReduceDir_ind [scheme, 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]
ReduceDir_sind [scheme, in scurve.Reduction]
ReduceDirStep [ind, in scurve.Reduction]
ReduceDirStep_ex_sublist [prf, in scurve.Reduction]
ReduceDirStep_ind [scheme, in scurve.Reduction]
ReduceDirStep_length [prf, in scurve.Reduction]
ReduceDirStep_preserve_both_ends [prf, in scurve.Reduction]
ReduceDirStep_Reduce_dir [prf, in scurve.Reduction]
ReduceDirStep_sind [scheme, in scurve.Reduction]
Reduction [file, 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 [constr, in scurve.Admissible]
rev_nil_inv [prf, in scurve.ListExt]
RevInv [constr, in scurve.Admissible]
rotate_dif_four_len_eight [prf, in scurve.Admissible]
rotation_difference [def, in scurve.Reduction]
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 [ind, in scurve.Reduction]
Rule_app_inv [prf, in scurve.Reduction]
rule_dec [def, in scurve.Reduction]
Rule_ind [scheme, in scurve.Reduction]
Rule_preserve_both_ends [prf, in scurve.Reduction]
Rule_same_src [prf, in scurve.Reduction]
Rule_sind [scheme, in scurve.Reduction]