As of 1996 the "Workshops in Computing" series has been published on-line. This work provides the passwords needed to access the papers from the first Irish Workshop on Formal …
SoSL was the first International Workshop on Semantics of Specification Languages, held from 25-27 October 1993 in Utrecht, the Netherlands. The workshop was organized by the …
Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial …
