CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
5 research outputs found
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals
Author
Hannula Miika
Virtema Jonni Taneli
Publication venue
Publication date
01/01/2021
Field of study
Get PDF
Peer reviewe
arXiv.org e-Print Archive
Institutionelles Repositorium der Leibniz Universität Hannover
Helsingin yliopiston digitaalinen arkisto
White Rose Research Online
Two logical hierarchies of optimization problems over the real numbers
Author
Flarup Uffe
Meer Klaus
Publication venue
Publication date
01/01/2006
Field of study
No full text
University of Southern Denmark Research Output
Two logical hierarchies of optimization problems over the real numbers
Author
Ausiello
Basu
+18Â more
Blum
Blum
BĂĽrgisser
Chadzelek
Cucker
Ebbinghaus
Flarup
Grädel
Grädel
Gödel
Immerman
Kolaitis
Makowsky
Malmström
Meer
Meer
Papadimitriou
Renegar
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref
Two logical hierarchies of optimization problems over the real numbers
Author
Klaus Meer
Uffe Flarup Hansen
Publication venue
Publication date
Field of study
No full text
CiteSeerX