Home > Search Results: Atserias, Albert
  Search Tips
Advanced Search
Search collections:
Sort by: Display results: Output format:
Results overview: Found 2 records in 0.01 seconds.
Research literature, 2 records found
Research literature 2 records found  
1.
36 p, 313.0 KB Partially definable forcing and bounded arithmetic / Atserias, Albert ; Müller, Moritz ; Centre de Recerca Matemàtica
Centre de Recerca Matemàtica 2011 (Prepublicacions del Centre de Recerca Matemàtica ; 1007)  
Detailed record - Creative Commons
2.
41 p, 304.3 KB Mean-payoff games and propositional proofs / Atserias, Albert ; Maneva, Elitza ; Centre de Recerca Matemàtica
"Vegeu el resum a l'inici del document del fitxer adjunt".
Centre de Recerca Matemàtica 2010 (Prepublicacions del Centre de Recerca Matemàtica ; 950)  
Detailed record - Creative Commons

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.
UAB Digital Repository of Documents :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.6
Maintained by ddd.bib@uab.cat  :: Metadata license:
Working with