Special Issue on Automated Deduction: Decidability, complexity, tractability

Ghilardi, Silvio; Sattler, Ulrike; Sofronie-Stokkermans, Viorica; Tiwari, Ashish

doi:10.1016/j.jsc.2009.05.006

Local TagsRelease HistoryDetailsSummary

Special Issue on Automated Deduction: Decidability, complexity, tractability

Ghilardi, S., Sattler, U., Sofronie-Stokkermans, V., & Tiwari, A. (2010). Special Issue on Automated Deduction: Decidability, complexity, tractability. Journal of Symbolic Computation, 45(2): -, pp. 151-152. doi:10.1016/j.jsc.2009.05.006.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-14BD-5 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-BB3E-0

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Ghilardi, Silvio¹, Author
Sattler, Ulrike¹, Author
Sofronie-Stokkermans, Viorica², Author
Tiwari, Ashish¹, 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: Modified: 2011-02-07Published Online: 2010Date issued: 2010

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 536333
DOI: 10.1016/j.jsc.2009.05.006
URI: http//dx.doi.org/10.1016/j.jsc.2009.05.006
Other: Local-ID: C125716C0050FB51-1631E1CA39BB1166C1257624002FD3D3-Sofronie-Stokkermans2009-jsc-addct

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of Symbolic Computation

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Amsterdam : Elsevier

Pages: - Volume / Issue: 45 (2) Sequence Number: - Start / End Page: 151 - 152 Identifier: ISSN: 0747-7171