author = {Viorica Sofronie-Stokkermans},
title = {{Fibered Structures in Computer Science and Applications to Automated Theorem Proving in Certain Classes of Finitely-Valued Logics and to Modeling Interacting Systems}},
number = {97-16},
year = {1997},
month = {March},
note = {PhD Thesis},
keywords = {automated theorem proving, non-classical logics, SHn-logics, universal algebra, Priestley duality, fiberings, sheaves.},
sponsor = {{\"O}AD,PARAGRAPH (Parallel Computer Graphics), MEDLAR II (ESPRIT Basic Research Project, nr. 6471, FWF), PfoFactor.},
type = {RISC Report Series},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
address = {Altenberger Straße 69, 4040 Linz, Austria},
issn = {2791-4267 (online)}