Joint proceedings of UNIF 2009 (23nd International Workshop on Unification) and 
ADDCT 2009 (Automated Deduction: Decidability, Complexity, Tractability)

Lynch, Christopher; Paliath, Narendran; Baader, Franz; Ghilardi, Silvio; Hermann, Miki; Sofronie-Stokkermans, Viorica; Tiwari, Ashish

Local TagsRelease HistoryDetailsSummary

Joint proceedings of UNIF 2009 (23nd International Workshop on Unification) and ADDCT 2009 (Automated Deduction: Decidability, Complexity, Tractability)

Lynch, C., Paliath, N., Baader, F., Ghilardi, S., Hermann, M., Sofronie-Stokkermans, V., et al. (Eds.). (2009). Joint proceedings of UNIF 2009 (23nd International Workshop on Unification) and ADDCT 2009 (Automated Deduction: Decidability, Complexity, Tractability). -: -.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1A5E-9 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BB8E-9

Genre: Proceedings

Files

show Files

Locators

show

Creators

show

hide

Creators:
Lynch, Christopher¹, Editor
Paliath, Narendran², Editor
Baader, Franz², Editor
Ghilardi, Silvio², Editor
Hermann, Miki², Editor
Sofronie-Stokkermans, Viorica¹, Editor
Tiwari, Ashish², Editor

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2009-09-01Date issued: 2009

Publication Status: Issued

Pages: 1-87

Publishing info: - : -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 521094
Other: Local-ID: C125716C0050FB51-02E3DF72DE53873AC1257624002F0F9C-Sofronie-Stokkermans2009-addct-unif

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: McGill University, Montreal, Canada

Start-/End Date: 1899-12-30

Legal Case

show

Project information

show

Source

show