Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Project
Dualiteitstheorie voor verificatieformalismen
Informatie
Projectteam
Organisaties
Output en outcomes
Publicaties
Gödel–Dummett linear temporal logic
Juan Pablo Aguilera
Martín Diéguez
David Fernández-Duque
Brett McLean
A1
Artikel in een tijdschrift
in
ARTIFICIAL INTELLIGENCE
2025
Preservation theorems for Tarski's relation algebra
Bart Bogaerts
Balder ten Cate
Brett McLean
Jan Van den Bussche
A1
Artikel in een tijdschrift
in
LOGICAL METHODS IN COMPUTER SCIENCE
2024
Complete representation by partial functions for signatures containing antidomain restriction
Brett McLean
A1
Artikel in een tijdschrift
in
INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION
2024