109
click to vote
EPIA
1995
Springer
15 years 8 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
117
click to vote
WG
2000
Springer
15 years 8 months ago
2000
Springer
: In a previous work, the authors introduced the class of graphs with bounded induced distance of order k, (BID(k) for short) to model non-reliable interconnection networks. A netw...
182
click to vote
ICCD
1997
IEEE
15 years 8 months ago
1997
IEEE
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
WG
2000
Springer
15 years 8 months ago
2000
Springer
WG
2000
Springer
15 years 8 months ago
2000
Springer