Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Lyx/lib/bind/   (Lyx Textverarbeitung ©)  Datei vom 26.9.1998 mit Größe 2 kB image not shown  

SSL root.bib   Interaktion und
PortierbarkeitLatech

 

@Unpublished{Abrial-Laffitte,
  author =   {Abrial and Laffitte},
  title =   {Towards the Mechanization of the Proofs of
                  Some Classical Theorems of Set Theory},
  note =   {Unpublished}
}

@Book{Oberschelp:1993,
  author =  {Arnold Oberschelp},
  title =   {Rekursionstheorie},
  publisher =   {BI-Wissenschafts-Verlag},
  year =   1993
}

@InProceedings{Podelski-Rybalchenko,
  author =   {Andreas Podelski and Andrey Rybalchenko},
  title =   {Transition Invariants},
  booktitle =   {19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)},
  pages =  {32--41},
  year =  2004
}

@Book{davenport92,
  author =  {H. Davenport},
  title =   {The Higher Arithmetic},
  publisher =   {Cambridge University Press},
  year =   1992
}

@InProceedings{paulin-tlca,
  author = {Christine Paulin-Mohring},
  title  = {Inductive Definitions in the System {Coq}: Rules and
   Properties},
  crossref = {tlca93},
  pages  = {328-345}}

@Proceedings{tlca93,
  title  = {Typed Lambda Calculi and Applications},
  booktitle = {Typed Lambda Calculi and Applications},
  editor = {M. Bezem and J.F. Groote},
  year  = 1993,
  publisher = {Springer},
  series = {LNCS 664}}

@article{leijen01,
  author  = {Leijen, Daan},
  title   = {Division and Modulus for Computer Scientists},
  year    = 2001,
  url     = {https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/divmodnote-letter.pdf}}

@InProceedings{LochbihlerStoop2018,
  author = {Andreas Lochbihler and Pascal Stoop},
  title = {Lazy Algebraic Types in {Isabelle/HOL}},
  booktitle = {Isabelle Workshop 2018},
  year = 2018,
}

@inproceedings{Haftmann-Nipkow:2010:code,
  author =      {Florian Haftmann and Tobias Nipkow},
  title =       {Code Generation via Higher-Order Rewrite Systems},
  booktitle =   {Functional and Logic Programming: 10th International Symposium: FLOPS 2010},
  year =        2010,
  publisher =   Springer,
  series =      LNCS,
  editor =      {Matthias Blume and Naoki Kobayashi and Germ{\'a}n Vidal},
  volume =      6009
}

100%


¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.16Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤

*Eine klare Vorstellung vom Zielzustand




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.