Observational logic, constructor-based logic, and their duality.

From MaRDI portal
Publication:1874280

DOI10.1016/S0304-3975(02)00865-4zbMath1038.68079OpenAlexW2090661963MaRDI QIDQ1874280

Rolf Hennicker, Michel Bidoit, Alexander Kurz

Publication date: 25 May 2003

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00865-4



Related Items


Uses Software


Cites Work