5499 search results - page 74 / 1100 » Generalized Rewrite Theories |
102
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
134
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
118
click to vote
DCC
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper considers the development of a general framework for the analysis of transmit beamforming methods in multiple antenna systems with finite-rate feedback. Inspired by the...
112
Voted
ISSAC
1998
Springer
15 years 8 months ago
1998
Springer
The subresultant theory for univariate commutative polynomials is generalized to Ore polynomials. The generalization includes: the subresultant theorem, gap structure, and subresu...
133
click to vote
FROCOS
2005
Springer
15 years 9 months ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...