External Links

    Journal: Inf. Sci.

    Volume 30, Issue 3

    171 -- 181Gur Dial. On axiomatic characterization of information improvement due to N revisions
    183 -- 224Didier Dubois, Henri Prade. Ranking fuzzy numbers in the setting of possibility theory
    225 -- 239Krishna Kant. A model for error recovery with global checkpointing
    241 -- 262Kenichi Morita, Yasunori Yamamoto, Kazuhiro Sugata. The complexity of some decision problems about two-dimensional array grammars

    Volume 30, Issue 2

    79 -- 105P. M. Lu, Stephen S. Yau, Wonmo Hong. A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation
    107 -- 123P. M. Lu, Stephen S. Yau, Wonmo Hong. A formal methodology using attributed grammars for multiprocessing-system software development II - Validation
    125 -- 150N. C. Mohanty. Autonomous navigation for high altitude satellites
    151 -- 169W. Richard Stark. Homeostasis in synchronous distributed computation, a formal view

    Volume 30, Issue 1

    1 -- 4Jürgen Dassow. A note on programmed 0L systems
    5 -- 10William Voxman, Roy Goetschel. A note on the characterization of the max and min operators
    11 -- 36Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi. Two-dimensional automata with rotated inputs (projection-type)
    37 -- 45Malay Sen. Minimization of Boolean functions of any number of variables using decimal labels
    47 -- 53Azriel Rosenfeld, Angela Y. Wu, Tsvi Dubitzki. Fast language acceptance by shrinking cellular automata
    55 -- 65Gur Dial. On a coding theorem connected with entropy of order alphaand type beta
    67 -- 77Gilbert G. Walter. A general approach to classification problems
    runs on