Andreas Blass
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1990–2010
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CSL | Exact Exploration and Hanging Algorithms. | Andreas Blass, Nachum Dershowitz, Yuri Gurevich |
| 2008 | MFCS | One Useful Logic That Defines Its Own Truth. | Andreas Blass, Yuri Gurevich |
| 2006 | LICS | Adapting Logics. | Andreas Blass |
| 2005 | FOGA | NP-Completeness of Deciding Binary Genetic Encodability. | Andreas Blass, Boris Mitavskiy |
| 2000 | CSL | Background, Reserve, and Gandy Machines. | Andreas Blass, Yuri Gurevich |
| 2000 | CSL | Choiceless Polynominal Time Computation and the Zero-One Law. | Andreas Blass, Yuri Gurevich |
| 1993 | CSL | Is Game Semantics Necessary? | Andreas Blass |
| 1990 | CSL | On the Reduction Theory for Average Case Complexity. | Andreas Blass, Yuri Gurevich |