Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting.

Ranko Lazic Thomas Christopher Newcomb Bill Roscoe

Published in: INFINITY (2004)

Keyphrases

distributed systems
computer systems
complex systems
databases
building blocks
database
real time
search engine
decision making
metadata
digital libraries
special case
intelligent systems
knowledge based systems
learning systems