de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
  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

Basic

show hide
Item Permalink: http://hdl.handle.net/11858/00-001M-0000-000F-14BD-5 Version Permalink: http://hdl.handle.net/11858/00-001M-0000-0024-BB3E-0
Genre: Journal Article

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ghilardi, Silvio1, Author
Sattler, Ulrike1, Author
Sofronie-Stokkermans, Viorica2, Author              
Tiwari, Ashish1, Author
Affiliations:
1External Organizations, escidoc:persistent22              
2Automation of Logic, MPI for Informatics, Max Planck Society, escidoc:1116545              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2011-02-0720102010
 Publication Status: Published in print
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Method: 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