HAL

A complete modal proof system for HAL: the Herbrand agent language

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 2 articles , 1 standard article )

Showing results 1 to 2 of 2.
Sorted by year (citations)

  1. Habbas, Zineb: A complete modal proof system for HAL: the Herbrand agent language (1993)
  2. Belmesk, M.; Habbas, Z.: A process calculus with shared variables (1992)