English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
 Local TagsRelease HistoryDetailsSummary
  Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems

Ratschan, S. (2005). Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems. In Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning (pp. 213-216). Norderstedt, Germany: Books on Demand GmbH.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-27B7-7 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-27B8-5
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Ratschan, Stefan1, Author           
Dolzmann, Andreas, Editor
Seidl, Andreas, Editor
Sturm, Thomas, Editor
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show

Details

show
hide
Language(s): eng - English
 Dates: 2006-06-092005
 Publication Status: Issued
 Pages: -
 Publishing info: Norderstedt, Germany : Books on Demand GmbH
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 279078
Other: Local-ID: C1256104005ECAFC-E272055E00D1C519C1256FE20052073A-Ratschan2005b
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Passau, Germany
Start-/End Date: 2005-04-13

Legal Case

show

Project information

show

Source 1

show
hide
Title: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning
Source Genre: Proceedings
 Creator(s):
Affiliations:
Publ. Info: Norderstedt, Germany : Books on Demand GmbH
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 213 - 216 Identifier: ISBN: 3-8334-2669-1