11016 search results - page 523 / 2204 » Cloud Computing for Science |
173
Voted
RTA
1999
Springer
15 years 11 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
175
click to vote
WG
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We consider broadcasting on asynchronous anonymous totally unoriented n
152
click to vote
RTA
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is...
184
click to vote
CTRS
1992
15 years 11 months ago
1992
ded abstract of this paper is published in the proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, Pont- -Mousson, 1992 1