English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 DetailsSummary
  More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification

Wand, D. (2016). More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-AC8E-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-AC8F-0
Genre: Thesis
Latex : More {SPASS} with {I}sabelle -- {S}uperposition with {H}ard {S}orts and {C}onfigurable {S}implification

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Wand, Daniel1, Author           
Weidenbach, Christoph1, Advisor           
Waldmann, Uwe1, Referee           
Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 201620162016
 Publication Status: Issued
 Pages: 22 p.
 Publishing info: Saarbrücken : Universität des Saarlandes
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: WandMaster2016
 Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show