BORIS Theses

BORIS Theses
Bern Open Repository and Information System

Baur, Michael

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.

Thesis

Baur, Michael (2023) Justification Logic, Semirings and Realizations thesis.

This list was generated on Sat Dec 21 03:20:11 2024 CET.