MENÜ MENÜ  

Improving Proof Search in Intuitionistic Propositional Logic

Klaus Weich

ISBN 978-3-89722-767-5
139 pages, year of publication: 2001
price: 40.50 €

Keywords:
  • intuitionistic logic
  • proof search
  • proof-as-programs
  • correct-by-construction
  • program verification

Buying Options

40.50 €