Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/Isabelle/HOL/Library/document/ (Beweissystem Isabelle Version 2025-1^©) Datei vom 16.11.2025 mit Größe 1 kB

Quelle root.bib Sprache: Latech

@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
}

quality100%

¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤

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.