4767 search results - page 29 / 954 » Structures for Abstract Rewriting |
121
Voted
ICALP
2010
Springer
15 years 4 days ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
119
Voted
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
LATIN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce here a rewrite system in the group of unimodular matrices, i.e., matrices with integer entries and with determinant
126
click to vote
DLT
1993
15 years 3 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
132
click to vote
ENTCS
2002
15 years 1 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...