View in EDS PDF Full Text

A CATEGORICAL ACCOUNT OF COMPOSITION METHODS IN LOGIC.

Saved in:
Bibliographic Details
Title: A CATEGORICAL ACCOUNT OF COMPOSITION METHODS IN LOGIC.
Authors: JAKL, TOMÁŠ1, tomas.jakl@cvut.cz, MARSDEN, DAN2, dan.marsden@nottingham.ac.uk, SHAH, NIHIL3, nas54@cam.ac.uk
Source: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 4, p10:1-10:44, 44p
Database: Applied Science & Technology Source
Description
ISSN:18605974
DOI:10.46298/LMCS-21(4:10)2025