Bibsonomy :: author  ::

bookmarks

publications

(99)

• Network as a Computer: Ranking Paths to Find Flows.
  Dusko Pavlovic CSR 384-397 (2008)
  to dblp by dblp and 1 other person on 2008-05-16 00:00:00
  | URL | BibTeX  
• Logic and Rational Languages of Words Indexed by Linear Orderings.
  Nicolas Bedon and Alexis Bès and Olivier Carton and Chloe Rispal CSR 76-85 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• Topological Semantics of Justification Logic.
  Sergei N. Artëmov and Elena Nogina CSR 30-39 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• Algorithms for Multiterminal Cuts.
  Mingyu Xiao CSR 314-325 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• A Complete Characterization of Nash-Solvability of Bimatrix Games in Terms of the Exclusion of Certain 2×2 Subgames.
  Endre Boros and Khaled M. Elbassioni and Vladimir Gurvich and Kazuhisa Makino and Vladimir Oudalov CSR 99-109 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• Lower Bounds on Frequency Estimation of Data Streams (Extended Abstract).
  Sumit Ganguly CSR 204-215 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• S4LPand Local Realizability.
  Melvin Fitting CSR 168-179 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• A Unified Categorical Approach for Attributed Graph Rewriting.
  Maxime Rebout and Louis Féraud and Sergei Soloviev CSR 398-409 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX  
• On Sequences with Non-learnable Subsequences.
  Vladimir V. V'yugin CSR 302-313 (2008)
  to dblp by dblp and 1 other person on 2008-05-16 00:00:00
  | URL | BibTeX  
• Twelve Problems in Proof Complexity.
  Pavel Pudlák CSR 13-27 (2008)
  to dblp by dblp on 2008-05-16 00:00:00
  | URL | BibTeX