HAL

MaRDI QIDQ16774swMATHFDO

Official website http://www.it.uu.se/profundis/Year2/Deliv2/A.1.2.8.pdf

Described by source

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

Cited in

(1)

• scientific article; zbMATH DE number 64180 (Why is no real title available?)

This page was built for software: HAL