ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
23
views
0
references
Top references
cited by
30
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,875
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
The Classical Decision Problem
other
Author(s):
Egon Börger
,
Erich Grädel
,
Yuri Gurevich
Publication date
(Print):
1997
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Thermal Imaging in Social Decision Making
Author and book information
Book
ISBN (Print):
978-3-540-42324-9
ISBN (Electronic):
978-3-642-59207-2
Publication date (Print):
1997
DOI:
10.1007/978-3-642-59207-2
SO-VID:
54fe00f7-ac98-4157-ab1c-b410015db415
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Similar content
1,875
The word problem of the Brin-Higman-Thompson groups
Authors:
J. C. Birget
A Column Generation Approach to the Multiple-Depot Vehicle Scheduling Problem
Authors:
Celso C. Ribeiro
,
François Soumis
Divergent responses of the amygdala and ventral striatum predict stress-related problem drinking in young adults: Possible differential markers of affective and impulsive pathways of risk for alcohol use disorder
Authors:
Yuliya Nikolova
,
Annchen Knodt
,
Spenser R Radtke
…
See all similar
Cited by
28
Deciding Boolean Algebra with Presburger Arithmetic
Authors:
Viktor Kuncak
,
Huu Hai Nguyen
,
Martin C Rinard
A Reachability Predicate for Analyzing Low-Level Software
Authors:
Shaunak Chatterjee
,
Shuvendu K. Lahiri
,
Shaz Qadeer
…
A Road-Map on Complexity for Hybrid Logics
Authors:
Carlos Areces
,
Patrick Blackburn
,
Maarten Marx
See all cited by