Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Project

Duality theory for verification formalisms

Information

Project Team

Organisations

Outputs and Outcomes

Publications

Gödel–Dummett linear temporal logic

Juan Pablo AguileraMartín DiéguezDavid Fernández-DuqueBrett McLean

A1 Journal Article in ARTIFICIAL INTELLIGENCE

2025

Preservation theorems for Tarski's relation algebra

Bart BogaertsBalder ten CateBrett McLeanJan Van den Bussche

A1 Journal Article in LOGICAL METHODS IN COMPUTER SCIENCE

2024

Complete representation by partial functions for signatures containing antidomain restriction

Brett McLean

A1 Journal Article in INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION

2024