English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Inductive Theorem Proving by Consistency for First-order Clauses

Ganzinger, H., & Stuber, J. (1992). Inductive Theorem Proving by Consistency for First-order Clauses. In M. Rusinowitch, & J.-L. Rémy (Eds.), Conditional Term Rewriting Systems (pp. 226-241). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-000E-4D75-9 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-4D76-8
Genre: Conference Paper

Files

show Files

Locators

show
hide
Locator:
https://rdcu.be/dwZcc (Publisher version)
Description:
-
OA-Status:
Not specified

Creators

show
hide
 Creators:
Ganzinger, Harald1, Author           
Stuber, Jürgen1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121992
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: DOI: 10.1007/3-540-56393-8_17
BibTex Citekey: Ganzinger-Stuber_CTRS92
 Degree: -

Event

show
hide
Title: Third International Workshop on Conditional Term Rewriting Systems
Place of Event: Pont-à-Mousson, France
Start-/End Date: 1992-07-08 - 1992-07-10

Legal Case

show

Project information

show

Source 1

show
hide
Title: Conditional Term Rewriting Systems
  Abbreviation : CTRS 1992
  Subtitle : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings
Source Genre: Proceedings
 Creator(s):
Rusinowitch, M., Editor
Rémy, J.-L., Editor
Affiliations:
-
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 226 - 241 Identifier: ISBN: 978-3-540-56393-8

Source 2

show
hide
Title: Lecture Notes in Computer Science
  Abbreviation : LNCS
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 656 Sequence Number: - Start / End Page: - Identifier: -