BibSonomy :: author  ::

bookmarks

publications

(15)

• From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-order Decision Procedures.
  Frédéric Blanqui and Jean-Pierre Jouannaud and Pierre-Yves Strub IFIP TCS 349-365 (2008)
  to dblp by dblp and 1 other person on 2008-09-15 00:00:00
  | URL | BibTeX  
• Bankdienstleistungen im Binnenmarkt : die Verwirklichung des Europäischen Binnenmarktes der Bankdienstleistungen
  {Andreas J.} Strub (1993)
  to imported by fbw on 2008-05-30 16:42:01
  | URL | BibTeX  
• Grundzüge der analytischen Makroökonomie
  {Thorsten} Hens and {Carlo} Strub (2004)
  to imported by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures
  Frédéric Blanqui and Jean-Pierre Jouannaud and Pierre-Yves Strub CoRR abs/0804.3762 (2008)
  to dblp by dblp and 1 other person on 2008-05-05 00:00:00
  | URL | BibTeX  
• Building Decision Procedures in the Calculus of Inductive Constructions
  Frédéric Blanqui and Jean-Pierre Jouannaud and Pierre-Yves Strub CoRR abs/0707.1266 (2007)
  to dblp by dblp and 1 other person on 2008-01-02 00:00:00
  | URL | BibTeX  
• Kalkulierte Absurditäten: Versuch einer historisch reflektierten sprachanalytischen Metaphorologie
  Christian Strub (1991)
  to Hochschulschrift Metapher Metaphorologie by stromgeist on 2007-12-25 11:08:40
  | BibTeX  
• Building Decision Procedures in the Calculus of Inductive Constructions.
  Frédéric Blanqui and Jean-Pierre Jouannaud and Pierre-Yves Strub CSL 328-342 (2007)
  to dblp by dblp and 1 other person on 2007-08-29 00:00:00
  | URL | BibTeX  
• Crystallization and preliminary X-ray analysis of the 9 kDa protein of the mouse signal recognition particle and the selenomethionyl-SRP9.
  S. Doublié and U. Kapp and A. Aberg and K. Brown and K. Strub and S. Cusack FEBS Lett 384 219--221 (1996)
  to crystal-structure semet by robert on 2007-02-02 11:55:53
  | URL | BibTeX  
• Crystallization and preliminary X-ray analysis of the 9 kDa protein of the mouse signal recognition particle and the selenomethionyl-SRP9.
  S. Doubli�� and U. Kapp and A. Aberg and K. Brown and K. Strub and S. Cusack FEBS Lett 384 219--221 (1996)
  to crystal-structure semet by robert on 2007-02-02 11:54:15
  | URL | BibTeX  
• Fish'n'Steps: Encouraging Physical Activity with an Interactive Computer Game.
  James J. Lin and Lena Mamykina and Silvia Lindtner and Gregory Delajoux and Henry B. Strub Ubicomp 261-278 (2006)
  to dblp by dblp on 2006-10-27 00:00:00
  | URL | BibTeX