1711 search results - page 30 / 343 » Completing pseudojump operators |
RTA
1995
Springer
13 years 11 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
AR
2010
13 years 8 months ago
2010
Physical support of lower limbs during sit-to-stand and stand-to-sit transfers is important for an independent life of paraplegic patients. The purpose of this study is, therefore...
SOSYM
2010
13 years 6 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
ACTA
2005
13 years 7 months ago
2005
A hybrid network of evolutionary processors (an HNEP) consists of several language processors which are located in the nodes of a virtual graph and able to perform only one type o...
IPL
1998
13 years 7 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...