Geodesic

Volume 30 (2000) no. 2

Sommaire

AJA - a language-based tool for the development of adaptable Java agents
Segments of score sequences
On completness criterion for partial hyperoperations
Modular language specifications in Haskell
Possibilistic logic for intelligent business agents
Secure two-way on-line communication by using quasigroup enciphering with almost public kej
Towards managiiig knowledge for v software process improvement
Compiler generator supported incremental language design
On two approaches to modal theorem proving
A comparative analvsis of several mobile agent systems
Mobile agents - a new and advanced concept?
Specification of the classes for generating robotic mechanism models
Projecting deductive databases with CWA management in Baselog-systems
Matrix relations for total complex decomposition of switching functions
The cardinality of clones containing minimal clones generated by semiprojections on a three element set
n-Words over any alphabet with Forbidden any 3-subwordsp
ri-Words over any alphabet without subword a b... b a for fixed a, b and k, p