English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 DetailsSummary
  Modal Tableau Systems with Blocking and Congruence Closure

Schmidt, R. A., & Waldmann, U.(2015). Modal Tableau Systems with Blocking and Congruence Closure (uk-ac-man-scw:268816). Manchester: University of Manchester.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002A-08BC-A Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-5EDA-B
Genre: Report

Files

show Files

Locators

show
hide
Locator:
https://www.escholar.manchester.ac.uk/uk-ac-man-scw:268816 (Any fulltext)
Description:
-
OA-Status:
Locator:
https://www.research.manchester.ac.uk/portal/files/32297317/FULL_TEXT.PDF (Any fulltext)
Description:
-
OA-Status:

Creators

show
hide
 Creators:
Schmidt, Renate A.1, Author           
Waldmann, Uwe2, Author           
Affiliations:
1External Organizations, ou_persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2015-07
 Publication Status: Published online
 Pages: 22 p.
 Publishing info: Manchester : University of Manchester
 Table of Contents: -
 Rev. Type: -
 Identifiers: Report Nr.: uk-ac-man-scw:268816
BibTex Citekey: SchmidtTR2015
 Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show
hide
Title: eScholar
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -