On Herbrand's Theorem for Hybrid Logic (2019)

First Author: Costa D
Attributed to:  Interface reasoning for interacting systems (IRIS). funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract