The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly. Volume 71, being published during 2006, will consist of ...
The way this works, is that some syntax like @RestrictCallees creates a function type that does not compare equal to other function types with the same signature. Instead, this produces a unique type ...
Applicable Analysis and Discrete Mathematics is indexed, abstracted and cover-to cover reviewed in: Web of Science, Current Contents/Physical, Chemical & Earth Sciences (CC/PC&ES;), Mathematical ...
Creative Commons (CC): This is a Creative Commons license. Attribution (BY): Credit must be given to the creator. Protein function prediction is essential for elucidating biological processes and ...
Abstract: We present a network architecture for the distributed utility max-min flow control of elastic and nonelastic flows where utility values of users (rather than data rates of users) are ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback