13306 search results - page 339 / 2662 » Theoretical Computer Science |
156
click to vote
HOA
1993
15 years 10 months ago
1993
Abstract. The Spectrum project concentrates on the process of developing well-structured, precise system speci cations. Spectrum is a speci cation language, with a deduction calcul...
166
click to vote
ACMSE
1992
ACM
15 years 10 months ago
1992
ACM
The feasibility of extracting both explicit and implicit synonym references from a machine readable dictionary is investigated; the extracted synonyms, both symmetric and asymmetr...
158
click to vote
MFCS
1993
Springer
15 years 10 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
135
Voted
RTA
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We generalize the various path orderings and the conditions under which they work, and describe an implementation of this general ordering. We look at methods for proving...
230
click to vote
RTA
1993
Springer
15 years 10 months ago
1993
Springer
Usually termination of term rewriting systems TRS's is proved by means of a monotonic well-founded order. If this order is total on ground terms, the TRS is called totally ...