[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

RomanGambleBall93

  1. Gruia-Catalan Roman & Rose F Gamble & William E Ball
  2. Formal Derivation of Rule-Based Programs
  3. IEEE Trans SE-V19n3(Mar 1993)pp277-296
  4. =DEMO Swarm NONSEQUENTIAL RULES
    1. Swarm_notation::=following
      Net
      1. dataspace>==tuples and transactions.
      2. tuples can be: queried, inserted, deleted.
      3. transactions can be inserted,
      4. transactions are deleted when done.
      5. Initial set of transactions.

      (End of Net)

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]