Project

Back to overview

Distributed Propositional Proof Systems

Applicant Jäger Gerhard
Number 43197
Funding scheme Project funding (Div. I-III)
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Mathematics
Start/End 01.01.1996 - 30.06.1998
Approved amount 183'291.00
Show all

Keywords (7)

LOGICS WORKBENCH; COMPUTATIONAL LOGIC; NON-CLASSICAL PROPOSITION; AL LOGICS; DISTRIBUTED SYSTEMS AND A; LGORITHMS; PARALLEL COMPLEXITY

Responsible applicant and co-applicants

Employees

Associated projects

Number Title Start Funding scheme
34279 A logics workbench 01.01.1993 Swiss Priority Programmes (SPPs)

-