Old Web
English
Sign In
Acemap
>
Paper
>
An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting
An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting
1997
W.J. Fokkink
C. Verhoef
Keywords:
Conservative extension
Discrete mathematics
Algorithm
Rewriting
Mathematics
Calculus
conditional term
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]