HAL

swMATH4603MaRDI QIDQ16774FDOQ16774

Author name not available (Why is that?)

Described by source

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

Cited In (1)

• Title not available (Why is that?)

This page was built for software: HAL