1730 search results - page 248 / 346 » Algebra and Computation |
157
click to vote
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
124
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
151
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...
132
click to vote
MFCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
119
click to vote
MFCS
2005
Springer
15 years 9 months ago
2005
Springer
In the maximum solution equation problem a collection of equations are given over some algebraic structure. The objective is to find an assignment to the variables in the equation...