E-Unification for Subsystems of S4

Schmidt, Renate A.

Local TagsRelease HistoryDetailsSummary

E-Unification for Subsystems of S4

Schmidt, R. A. (1998). E-Unification for Subsystems of S4. In T. Nipkow (Ed.), Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98) (pp. 106-120). Berlin, Germany: Springer.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3834-2 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3836-D

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Schmidt, Renate A.¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

hide

Free keywords: -

Abstract: This paper is concerned with the unification problem in the path logics associated by the optimised functional translation method with the modal logics \textit{K}, \textit{KD}, \textit{KT}, \textit{KD4}, \textitl{S4} and \textit{S5}. It presents improved unification algorithms for certain forms of the right identity and associativity laws. The algorithms employ mutation rules, which have the advantage that terms are worked off from the outside inward, making paramodulating into terms superfluous.

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1998

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519546
Other: Local-ID: C1256104005ECAFC-751B214D35DF723EC125655C005FFAA4-Schmidt98c

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Tsukuba, Japan

Start-/End Date: 1998

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98)

Source Genre: Proceedings

Creator(s):
Nipkow, Tobias, Editor

Affiliations:
-

Publ. Info: Berlin, Germany : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 106 - 120 Identifier: ISBN: 3-540-64301-X

Source 2

show

hide

Title: Lecture Notes in Computer Science

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 1379 Sequence Number: - Start / End Page: - Identifier: -