Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,864,831 papers from all fields of science
Search
Sign In
Create Free Account
Uwe Schöning
Known as:
Uwe Schoning
Uwe Schöning (born December 28, 1955) is a German computer scientist, known for his research in computational complexity theory.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
2-satisfiability
Boolean satisfiability problem
Computational complexity theory
Computer scientist
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Intertemporal stability of ambiguity preferences
Peter Duersch
,
D. Römer
,
Benjamin N. Roth
2013
Corpus ID: 150597636
To make predictions with theories, usually we assume an individual's characteristics such as uncertainty preferences to be stable…
Expand
Review
2010
Review
2010
In the Presence of English. Media and European Youth
S. Mollin
2010
Corpus ID: 140333546
Download PDF Ebook and Read OnlineWirtschaftsprfung Und Revisionstechnik%0D. Get Wirtschaftsprfung Und Revisionstechnik%0D…
Expand
Review
2007
Review
2007
IMPROVEMENT OF INTERIOR AND EXTERIOR ORIENTATION OF THE THREE LINE CAMERA HRSC WITH A SIMULTANEOUS ADJUSTMENT
M. Spiegel
2007
Corpus ID: 162173747
Since January 2004 the High Resolution Stereo Camera (HRSC) on board the ESA Mission Mars Express (MEX) is imaging the surface of…
Expand
2005
2005
Complete Abstract Operational Semantics for the Web Service Business Process Execution Language
Dirk Fahland
2005
Corpus ID: 63006518
In this technical report we present an abstract operational semantics for the Business Process Execution Language for Web…
Expand
Review
2005
Review
2005
Integrating Smart Items with Business Processes An Experience Report
Christof Bornhövd
,
Tao Lin
,
S. Haller
,
J. Schaper
Proceedings of the Annual Hawaii International…
2005
Corpus ID: 9936249
Smart item technologies, like RFID and sensor networks, are considered to be the next big step in business process automation…
Expand
2003
2003
Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints
Joachim Niehren
,
Stefan Thater
Annual Meeting of the Association for…
2003
Corpus ID: 2015467
Minimal Recursion Semantics (MRS) is the standard formalism used in large-scale HPSG grammars to model underspecified semantics…
Expand
1999
1999
omVR - A Safety Training System for a Virtual Refinery
M. Haller
,
G. Kurka
,
J. Volkert
,
R. Wagner
1999
Corpus ID: 18272140
In this paper we present the prototype omVR , which is a Virtual Reality based safety training system for a petrol refinery. It…
Expand
1996
1996
Tool Speci cation with GTSL
W. Emmerich
1996
Corpus ID: 8773412
The de nition of software development methods encompasses the de nition of syntax and static semantics of formal languages. These…
Expand
1995
1995
The German "Plea Bargaining" Debate
Thomas G Swenson
Pace International Law Review
1995
Corpus ID: 55863373
Review
1991
Review
1991
Review: Uwe Schoning, Logic for Computer Scientists
D. Siefkes
Journal of Symbolic Logic (JSL)
1991
Corpus ID: 60667873
proof is an abstract object, but it is customary in mathematical logic to use 'proof as referring to a certain kind of syntactic…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE