RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC1376,
    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 = {Schloss Hagenberg, 4232 Hagenberg, Austria}