Article thumbnail

Modal tableau systems with blocking and congruence closure

By Renate A. Schmidt and Uwe Waldmann
Publisher: University of Manchester
Year: 2015
OAI identifier: oai:pure.atira.dk:publications/a4b2a704-9faf-4eb1-aac8-0eed9f8f0ad0
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • https://pure.manchester.ac.uk/... (external link)
  • https://www.research.mancheste... (external link)

  • To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.

    Suggested articles