|
|
Novi Sad Journal of MathematicsPublisher: Department of Mathematics and Informatics,
Faculty of Sciences, Novi SadISSN: 1450-5444 (Print), 2406-2014 (Online)Issue: 30_2Date: 2000Journal Homepage |
AbstractKeywords: mobile agents; internet; network; distributed systemsMSC: 68N25
AbstractKeywords: object-oriented specification; robotic mechanism modelsMSC: 68Q40 ; 70B15
AbstractKeywords: closed-world reasoning; deductive databases; datalog; prolog; automatic theorem provingMSC: 68T35; 68T15
AbstractKeywords: decomposition; switching functions; matrixesMSC: 94C10
AbstractKeywords: clone; cardinalityMSC: 08A40
AbstractKeywords: orbidden subwords; $m$-member alphabetMSC: 05A15; 05A19
|