From cde7fa80b9c893072c609a4e26e03ad87363e314 Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Fri, 2 Aug 2024 07:08:59 +0000 Subject: [PATCH] Auto-generated website for commit 2c0b619 --- frabe/index.html | 120 +++++++++++++++++++++--------------------- index.html | 2 - mkohlhase/index.html | 2 - voll-ki/index.html | 2 - xml/kcr.bib.xml | 4 +- xml/kwarcpubs.bib.xml | 4 +- 6 files changed, 64 insertions(+), 70 deletions(-) diff --git a/frabe/index.html b/frabe/index.html index c93be8cc..10473da8 100644 --- a/frabe/index.html +++ b/frabe/index.html @@ -69,52 +69,52 @@

Florian Rabe

Archival Literature

Articles in Journals

    -
  1. [3] +
  2. [3] J. Carette, W. M. Farmer, M. Kohlhase, and F. Rabe (2021) Big math and the one-brain barrier – the tetrapod model of mathematical knowledge. Mathematical Intelligencer 43 (1). -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    3. -
  3. [11] +
  4. [11] M. Kohlhase and F. Rabe (2021) Experiences from exporting major proof assistant libraries. Journal of Automated Reasoning 65 (8), pp. 1265–1298. -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    5. -
  5. [2] +
  6. [2] K. Berčič, M. Kohlhase, and F. Rabe (2020) (Deep) fair mathematics. it – Information Technology 62 (1), pp. 7–17. -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    7. -
  7. [12] +
  8. [12] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2018) Model pathway diagrams for the representation of mathematical models. Journal of Optical and Quantum Electronics 50 (2), pp. 70. -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    9. -
  9. [4] +
  10. [4] G. Dowek, C. Dubois, B. Pientka, and F. Rabe (2017) Universality of Proofs (Dagstuhl Seminar 16421). @@ -123,47 +123,47 @@

    Articles in Journals

     Note: see http://drops.dagstuhl.de/opus/volltexte/2017/6951/ -Cited by: p1. +Cited by: p1.
    11. -
  11. [21] +
  12. [21] F. Rabe (2017) How to Identify, Translate, and Combine Logics?. Journal of Logic and Computation 27 (6), pp. 1753–1798. -Cited by: p1. +Cited by: p1.
    13. -
  13. [22] +
  14. [22] F. Rabe (2017) Morphism Axioms. Theoretical Computer Science 691, pp. 55–80. -Cited by: p1. +Cited by: p1.
    15. -
  15. [10] +
  16. [10] M. Kohlhase and F. Rabe (2016) QED reloaded: towards a pluralistic formal library of mathematical knowledge. Journal of Formalized Reasoning 9 (1), pp. 201–234. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    17. -
  17. [19] +
  18. [19] F. Rabe (2015) Lax Theory Morphisms. ACM Transactions on Computational Logic 17 (1). -Cited by: p1. +Cited by: p1.
    19. -
  19. [20] +
  20. [20] F. Rabe (2015) The Future of Logic: Foundation-Independence. @@ -172,132 +172,132 @@

    Articles in Journals

     Note: Winner of the Contest “The Future of Logic” at the World Congress on Universal Logic -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    21. -
  21. [7] +
  22. [7] M. Iancu, M. Kohlhase, F. Rabe, and J. Urban (2013) The Mizar Mathematical Library in OMDoc: translation and applications. Journal of Automated Reasoning 50 (2), pp. 191–202. -External Links: Link, -Document +External Links: Link, +Document -Cited by: p1. +Cited by: p1.
    23. -
  23. [13] +
  24. [13] F. Rabe and M. Kohlhase (2013) A scalable module system. Information & Computation 0 (230), pp. 1–54. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    25. -
  25. [15] +
  26. [15] F. Rabe and K. Sojakova (2013) Logical Relations for a Logical Framework. ACM Transactions on Computational Logic. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    27. -
  27. [18] +
  28. [18] F. Rabe (2013) A Logical Framework Combining Model and Proof Theory. Mathematical Structures in Computer Science 23 (5), pp. 945–1001. -Cited by: p1. +Cited by: p1.
    29. -
  29. [9] +
  30. [9] M. Kohlhase and F. Rabe (2012) Semantics of OpenMath and MathML3. Mathematics in Computer Science 6 (3), pp. 235–260. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    31. -
  31. [17] +
  32. [17] F. Rabe (2012) A logical framework combining model and proof theory. Mathematical Structures in Computer Science. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    33. -
  33. [1] +
  34. [1] S. Awodey and F. Rabe (2011) Kripke Semantics for Martin-Löf’s Extensional Type Theory. Logical Methods in Computer Science 7 (3). -Cited by: p1. +Cited by: p1.
    35. -
  35. [6] +
  36. [6] F. Horozal and F. Rabe (2011) Representing Model Theory in a Type-Theoretical Logical Framework. Theoretical Computer Science 412 (37), pp. 4919–4945. -Cited by: p1. +Cited by: p1.
    37. -
  37. [8] +
  38. [8] M. Iancu and F. Rabe (2011) Formalizing Foundations of Mathematics. Mathematical Structures in Computer Science 21 (4), pp. 883–911. -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    39. -
  39. [16] +
  40. [16] F. Rabe (2010) Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on his 70th Birthday”. Bulletin of Symbolic Logic 16 (3), pp. 409–411. -Cited by: p1. +Cited by: p1.
    41. -
  41. [5] +
  42. [5] J. Goguen, T. Mossakowski, V. de Paiva, F. Rabe, and L. Schröder (2008) An Institutional View on Categorical Logic. International Journal of Software and Informatics 1 (1), pp. 129–152. -Cited by: p1. +Cited by: p1.
    43. -
  43. [14] +
  44. [14] F. Rabe, P. Pudlák, G. Sutcliffe, and W. Shen (2007) Solving the $100 Modal Logic Challenge. Journal of Applied Logic 1 (1). -Cited by: p1. +Cited by: p1.

Papers at International, Peer-Reviewed Conferences

diff --git a/index.html b/index.html index c5c8edd5..4291bcab 100644 --- a/index.html +++ b/index.html @@ -8773,8 +8773,6 @@

Unpublished

Reusing learning objects via theory morphisms. -Note: submitted - External Links: Link Cited by: p1. diff --git a/mkohlhase/index.html b/mkohlhase/index.html index 7a22fde4..4290285a 100644 --- a/mkohlhase/index.html +++ b/mkohlhase/index.html @@ -4707,8 +4707,6 @@

Unpublished

 Reusing learning objects via theory morphisms. -Note: submitted - External Links: Link Cited by: p1. diff --git a/voll-ki/index.html b/voll-ki/index.html index a436a031..3aca15a6 100644 --- a/voll-ki/index.html +++ b/voll-ki/index.html @@ -458,8 +458,6 @@

Unpublished

 Reusing learning objects via theory morphisms. -Note: submitted - External Links: Link Cited by: p1. diff --git a/xml/kcr.bib.xml b/xml/kcr.bib.xml index 63526b78..2a7f8528 100644 --- a/xml/kcr.bib.xml +++ b/xml/kcr.bib.xml @@ -144,16 +144,16 @@ Schütz Marcel - submitted 2024 + Link https://url.mathhub.info/relocalization/ mkohlhase,mschuetz,voll-ki @unpublished{KohSch:rlotm24b, title = {Reusing Learning Objects via Theory Morphisms}, author = {Michael Kohlhase and Marcel Sch{\"u}tz}, - note = {submitted}, year = {2024}, + crossref = {CICM24}, url = {https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf}, soonurl = {https://url.mathhub.info/relocalization/}, pubs = {mkohlhase,mschuetz,voll-ki}} diff --git a/xml/kwarcpubs.bib.xml b/xml/kwarcpubs.bib.xml index 006a5407..fcae13a2 100644 --- a/xml/kwarcpubs.bib.xml +++ b/xml/kwarcpubs.bib.xml @@ -109,16 +109,16 @@ Schütz Marcel - submitted 2024 + Link https://url.mathhub.info/relocalization/ mkohlhase,mschuetz,voll-ki @unpublished{KohSch:rlotm24b, title = {Reusing Learning Objects via Theory Morphisms}, author = {Michael Kohlhase and Marcel Sch{\"u}tz}, - note = {submitted}, year = {2024}, + crossref = {CICM24}, url = {https://kwarc.info/people/mkohlhase/submit/cicm24-recontextualization.pdf}, soonurl = {https://url.mathhub.info/relocalization/}, pubs = {mkohlhase,mschuetz,voll-ki}}