[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Gruia-Catalan Roman & Rose F Gamble & William E Ball
- Formal Derivation of Rule-Based Programs
- IEEE Trans SE-V19n3(Mar 1993)pp277-296
- =DEMO Swarm NONSEQUENTIAL RULES
- Swarm_notation::=following
Net
- dataspace>==tuples and transactions.
- tuples can be: queried, inserted, deleted.
- transactions can be inserted,
- transactions are deleted when done.
- Initial set of transactions.
(End of Net)
Search for bibliographic items containing a matching string. Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]