K&K Software Lynxviewer

Ergebnis für URL: http://arxiv.org/list/cs.LO/recent
   [1]Skip to main content
   [2]Cornell University
   We gratefully acknowledge support from the Simons Foundation, [3]member
   institutions, and all contributors. [4]Donate
   [5]arxiv logo > [6]cs.LO
   ____________________

   [7]Help | [8]Advanced Search
   [All fields________]
   (BUTTON) Search
   [9]arXiv logo
   [10]Cornell University Logo
   (BUTTON) open search
   ____________________ (BUTTON) GO
   (BUTTON) open navigation menu

quick links

     * [11]Login
     * [12]Help Pages
     * [13]About

Logic in Computer Science

Authors and titles for recent submissions

     * [14]Wed, 15 May 2024
     * [15]Tue, 14 May 2024
     * [16]Mon, 13 May 2024
     * [17]Fri, 10 May 2024
     * [18]Thu, 9 May 2024

   Total of 27 entries : 1-25 [19]26-27
   Showing up to 25 entries per page: [20]fewer | more | [21]all

Wed, 15 May 2024 (showing 3 of 3 entries )

   [1] [22]arXiv:2405.08647 [[23]pdf, [24]ps, [25]html, [26]other]
          Title: Output-decomposed Learning of Mealy Machines

          [27]Rick Koenders, [28]Joshua Moerman

          Comments: LearnAut 2024

          Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)

   [2] [29]arXiv:2405.08104 [[30]pdf, [31]ps, [32]html, [33]other]
          Title: Separation and Encodability in Mixed Choice Multiparty Sessions
          (Technical Report)

          [34]Kirstin Peters, [35]Nobuko Yoshida

          Comments: Technical report of the paper Separation and Encodability in
          Mixed Choice Multiparty Sessions by Kirstin Peters and Nobuko Yoshida at
          LICS'24

          Subjects: Logic in Computer Science (cs.LO)

   [3] [36]arXiv:2405.08372 (cross-list from cs.PL) [[37]pdf, [38]ps, [39]html,
          [40]other]
          Title: Reasoning about Interior Mutability in Rust using Library-Defined
          Capabilities

          [41]Federico Poli, [42]Xavier Denis, [43]Peter Müller, [44]Alexander J.
          Summers

          Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Tue, 14 May 2024 (showing 12 of 12 entries )

   [4] [45]arXiv:2405.07953 [[46]pdf, [47]ps, [48]html, [49]other]
          Title: On the Decidability of Monadic Second-Order Logic with Arithmetic
          Predicates

          [50]Valérie Berthé, [51]Toghrul Karimov, [52]Joris Nieuwveld, [53]Joël
          Ouaknine, [54]Mihir Vahanwala, [55]James Worrell

          Comments: 17 pages

          Subjects: Logic in Computer Science (cs.LO)

   [5] [56]arXiv:2405.07807 [[57]pdf, [58]ps, [59]html, [60]other]
          Title: Efficient Synthesis of Symbolic Distributed Protocols by Sketching

          [61]Derek Egolf, [62]William Schultz, [63]Stavros Tripakis

          Subjects: Logic in Computer Science (cs.LO)

   [6] [64]arXiv:2405.07656 [[65]pdf, [66]ps, [67]html, [68]other]
          Title: Non-Rigid Designators in Modal and Temporal Free Description Logics
          (Extended Version)

          [69]Alessandro Artale, [70]Roman Kontchakov, [71]Andrea Mazzullo,
          [72]Frank Wolter

          Subjects: Logic in Computer Science (cs.LO)

   [7] [73]arXiv:2405.07505 [[74]pdf, [75]ps, [76]html, [77]other]
          Title: A cyclic proof system for Guarded Kleene Algebra with Tests (full
          version)

          [78]Jan Rooduijn, [79]Dexter Kozen, [80]Alexandra Silva

          Comments: Full version of paper accepted at IJCAR 2024

          Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata
          Theory (cs.FL); Logic (math.LO)

   [8] [81]arXiv:2405.06670 [[82]pdf, [83]ps, [84]html, [85]other]
          Title: TLINet: Differentiable Neural Network Temporal Logic Inference

          [86]Danyang Li, [87]Mingyu Cai, [88]Cristian-Ioan Vasile, [89]Roberto Tron

          Subjects: Logic in Computer Science (cs.LO); Machine Learning (cs.LG)

   [9] [90]arXiv:2405.06664 [[91]pdf, [92]ps, [93]html, [94]other]
          Title: A categorical account of composition methods in logic (extended
          version)

          [95]Tomás Jakl, [96]Dan Marsden, [97]Nihil Shah

          Comments: This is an extended version of [98]arXiv:2304.10196 which, apart
          from providing full proofs of all statements, takes a more categorical
          point of view to tell the whole story. In particular, we highlight and
          explain the underlying categorical constructions in detail

          Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

   [10] [99]arXiv:2405.07975 (cross-list from cs.FL) [[100]pdf, [101]ps, [102]html,
          [103]other]
          Title: Dynamic Programming for Symbolic Boolean Realizability and
          Synthesis

          [104]Yi Lin, [105]Lucas M. Tabajara, [106]Moshe Y. Vardi

          Comments: 33 pages including the Appendix and bibliography, 5 figures,
          paper is to be published in CAV 2024, but this version is inclusive of the
          Appendix

          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer
          Science (cs.LO)

   [11] [107]arXiv:2405.07911 (cross-list from cs.FL) [[108]pdf, [109]ps, [110]html,
          [111]other]
          Title: Slice closures of indexed languages and word equations with
          counting constraints

          [112]Laura Ciobanu, [113]Georg Zetzsche

          Comments: 12 pages, accepted for publication at LICS 2024

          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer
          Science (cs.LO); Group Theory (math.GR)

   [12] [114]arXiv:2405.07724 (cross-list from math.CT) [[115]pdf, [116]ps,
          [117]html, [118]other]
          Title: Monoidal closure of Grothendieck constructions via
          $\Sigma$-tractible monoidal structures and Dialectica formulas

          [119]Fernando Lucatelli Nunes, [120]Matthijs Vákár

          Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO);
          Programming Languages (cs.PL)

   [13] [121]arXiv:2405.06973 (cross-list from cs.AI) [[122]pdf, [123]ps, [124]html,
          [125]other]
          Title: A Primer for Preferential Non-Monotonic Propositional Team Logics

          [126]Kai Sauerwald, [127]Juha Kontinen

          Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science
          (cs.LO)

   [14] [128]arXiv:2405.06852 (cross-list from math.LO) [[129]pdf, [130]ps,
          [131]html, [132]other]
          Title: Possibility Semantics

          [133]Wesley H. Holliday

          Comments: Previous version in Selected Topics from Contemporary Logics,
          ed. Melvin Fitting, Volume 2 of Landscapes in Logic, College Publications,
          London, 2021, ISBN 97-1-84890-350-0, pp. 363-476. This version corrects
          Section 4.3

          Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

   [15] [134]arXiv:2405.06826 (cross-list from cs.PL) [[135]pdf, [136]ps, [137]html,
          [138]other]
          Title: A Nominal Approach to Probabilistic Separation Logic

          [139]John M. Li, [140]Jon Aytac, [141]Philip Johnson-Freyd, [142]Amal
          Ahmed, [143]Steven Holtzen

          Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

Mon, 13 May 2024 (showing 3 of 3 entries )

   [16] [144]arXiv:2405.06491 [[145]pdf, [146]ps, [147]html, [148]other]
          Title: A Note on an Inferentialist Approach to Resource Semantics

          [149]Alexander V. Gheorghiu, [150]Tao Gu, [151]David J. Pym

          Comments: An abstract of conference paper 'Inferentialist Resource
          Semantics' (Accepted at MFPS 2024) that was presented at SLSS 2024. arXiv
          admin note: substantial text overlap with [152]arXiv:2402.09217

          Subjects: Logic in Computer Science (cs.LO); Computers and Society
          (cs.CY); Distributed, Parallel, and Cluster Computing (cs.DC)

   [17] [153]arXiv:2405.06127 [[154]pdf, [155]ps, [156]html, [157]other]
          Title: Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction
          Selection

          [158]Ross Daly, [159]Caleb Donovick, [160]Caleb Terrill, [161]Jackson
          Melchert, [162]Priyanka Raina, [163]Clark Barrett, [164]Pat Hanrahan

          Subjects: Logic in Computer Science (cs.LO); Hardware Architecture (cs.AR)

   [18] [165]arXiv:2405.06052 (cross-list from eess.SY) [[166]pdf, [167]ps,
          [168]html, [169]other]
          Title: Composition and Merging of Assume-Guarantee Contracts Are Tensor
          Products

          [170]Inigo Incer

          Subjects: Systems and Control (eess.SY); Logic in Computer Science (cs.LO)

Fri, 10 May 2024 (showing 6 of 6 entries )

   [19] [171]arXiv:2405.05690 [[172]pdf, [173]ps, [174]html, [175]other]
          Title: Restructuring a concurrent refinement algebra

          [176]Ian J. Hayes, [177]Larissa A. Meinicke, [178]Naso Evangelou-Oost

          Subjects: Logic in Computer Science (cs.LO)

   [20] [179]arXiv:2405.05670 [[180]pdf, [181]ps, [182]html, [183]other]
          Title: Between proof construction and SAT-solving

          [184]Aleksy Schubert, [185]Pawel/ Urzyczyn, [186]Konrad Zdanowski

          Subjects: Logic in Computer Science (cs.LO)

   [21] [187]arXiv:2405.05546 [[188]pdf, [189]ps, [190]html, [191]other]
          Title: Data reification in a concurrent rely-guarantee algebra

          [192]Larissa A. Meinicke, [193]Ian J. Hayes, [194]Cliff B. Jones

          Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

   [22] [195]arXiv:2405.05779 (cross-list from math.LO) [[196]pdf, [197]ps,
          [198]html, [199]other]
          Title: A note on the theory of well orders

          [200]Emil Jerábek

          Comments: 4 pages

          Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)

   [23] [201]arXiv:2405.05774 (cross-list from math.CT) [[202]pdf, [203]ps,
          [204]html, [205]other]
          Title: Monoidal bicategories, differential linear logic, and analytic
          functors

          [206]M. Fiore, [207]N. Gambino, [208]M. Hyland

          Comments: v1. 46 pages. Comments welcome

          Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO);
          Logic (math.LO)

   [24] [209]arXiv:2405.04998 [[210]pdf, [211]ps, [212]html, [213]other]
          Title: Axiomatization of approximate exclusion

          [214]Matilda Häggblom

          Comments: 11 pages

          Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

Thu, 9 May 2024 (showing first 1 of 3 entries )

   [25] [215]arXiv:2405.04872 (cross-list from cs.CL) [[216]pdf, [217]ps, [218]html,
          [219]other]
          Title: Logical Negation Augmenting and Debiasing for Prompt-based Methods

          [220]Yitian Li, [221]Jidong Tian, [222]Hao He, [223]Yaohui Jin

          Subjects: Computation and Language (cs.CL); Artificial Intelligence
          (cs.AI); Logic in Computer Science (cs.LO)

   Total of 27 entries : 1-25 [224]26-27
   Showing up to 25 entries per page: [225]fewer | more | [226]all
     * [227]About
     * [228]Help

     * Click here to contact arXiv [229]Contact
     * Click here to subscribe [230]Subscribe

     * [231]Copyright
     * [232]Privacy Policy

     * [233]Web Accessibility Assistance
     * [234]arXiv Operational Status
       Get status notifications via [235]email or [236]slack

References

   Visible links:
   1. http://arxiv.org/list/cs.LO/recent#content
   2. https://www.cornell.edu/
   3. https://info.arxiv.org/about/ourmembers.html
   4. https://info.arxiv.org/about/donate.html
   5. http://arxiv.org/
   6. http://arxiv.org/list/cs.LO/recent
   7. https://info.arxiv.org/help
   8. https://arxiv.org/search/advanced
   9. https://arxiv.org/
  10. https://www.cornell.edu/
  11. https://arxiv.org/login
  12. https://info.arxiv.org/help
  13. https://info.arxiv.org/about
  14. http://arxiv.org/list/cs.LO/recent?skip=0&show=25
  15. http://arxiv.org/list/cs.LO/recent?skip=3&show=25
  16. http://arxiv.org/list/cs.LO/recent?skip=15&show=25
  17. http://arxiv.org/list/cs.LO/recent?skip=18&show=25
  18. http://arxiv.org/list/cs.LO/recent?skip=24&show=25
  19. http://arxiv.org/list/cs.LO/recent?skip=25&show=25
  20. http://arxiv.org/list/cs.LO/recent?skip=0&show=10
  21. http://arxiv.org/list/cs.LO/recent?skip=0&show=27
  22. http://arxiv.org/abs/2405.08647
  23. http://arxiv.org/pdf/2405.08647
  24. http://arxiv.org/ps/2405.08647
  25. https://arxiv.org/html/2405.08647v1
  26. http://arxiv.org/format/2405.08647
  27. https://arxiv.org/search/cs?searchtype=author&query=Koenders,+R
  28. https://arxiv.org/search/cs?searchtype=author&query=Moerman,+J
  29. http://arxiv.org/abs/2405.08104
  30. http://arxiv.org/pdf/2405.08104
  31. http://arxiv.org/ps/2405.08104
  32. https://arxiv.org/html/2405.08104v1
  33. http://arxiv.org/format/2405.08104
  34. https://arxiv.org/search/cs?searchtype=author&query=Peters,+K
  35. https://arxiv.org/search/cs?searchtype=author&query=Yoshida,+N
  36. http://arxiv.org/abs/2405.08372
  37. http://arxiv.org/pdf/2405.08372
  38. http://arxiv.org/ps/2405.08372
  39. https://arxiv.org/html/2405.08372v1
  40. http://arxiv.org/format/2405.08372
  41. https://arxiv.org/search/cs?searchtype=author&query=Poli,+F
  42. https://arxiv.org/search/cs?searchtype=author&query=Denis,+X
  43. https://arxiv.org/search/cs?searchtype=author&query=M%C3%BCller,+P
  44. https://arxiv.org/search/cs?searchtype=author&query=Summers,+A+J
  45. http://arxiv.org/abs/2405.07953
  46. http://arxiv.org/pdf/2405.07953
  47. http://arxiv.org/ps/2405.07953
  48. https://arxiv.org/html/2405.07953v1
  49. http://arxiv.org/format/2405.07953
  50. https://arxiv.org/search/cs?searchtype=author&query=Berth%C3%A9,+V
  51. https://arxiv.org/search/cs?searchtype=author&query=Karimov,+T
  52. https://arxiv.org/search/cs?searchtype=author&query=Nieuwveld,+J
  53. https://arxiv.org/search/cs?searchtype=author&query=Ouaknine,+J
  54. https://arxiv.org/search/cs?searchtype=author&query=Vahanwala,+M
  55. https://arxiv.org/search/cs?searchtype=author&query=Worrell,+J
  56. http://arxiv.org/abs/2405.07807
  57. http://arxiv.org/pdf/2405.07807
  58. http://arxiv.org/ps/2405.07807
  59. https://arxiv.org/html/2405.07807v1
  60. http://arxiv.org/format/2405.07807
  61. https://arxiv.org/search/cs?searchtype=author&query=Egolf,+D
  62. https://arxiv.org/search/cs?searchtype=author&query=Schultz,+W
  63. https://arxiv.org/search/cs?searchtype=author&query=Tripakis,+S
  64. http://arxiv.org/abs/2405.07656
  65. http://arxiv.org/pdf/2405.07656
  66. http://arxiv.org/ps/2405.07656
  67. https://arxiv.org/html/2405.07656v1
  68. http://arxiv.org/format/2405.07656
  69. https://arxiv.org/search/cs?searchtype=author&query=Artale,+A
  70. https://arxiv.org/search/cs?searchtype=author&query=Kontchakov,+R
  71. https://arxiv.org/search/cs?searchtype=author&query=Mazzullo,+A
  72. https://arxiv.org/search/cs?searchtype=author&query=Wolter,+F
  73. http://arxiv.org/abs/2405.07505
  74. http://arxiv.org/pdf/2405.07505
  75. http://arxiv.org/ps/2405.07505
  76. https://arxiv.org/html/2405.07505v1
  77. http://arxiv.org/format/2405.07505
  78. https://arxiv.org/search/cs?searchtype=author&query=Rooduijn,+J
  79. https://arxiv.org/search/cs?searchtype=author&query=Kozen,+D
  80. https://arxiv.org/search/cs?searchtype=author&query=Silva,+A
  81. http://arxiv.org/abs/2405.06670
  82. http://arxiv.org/pdf/2405.06670
  83. http://arxiv.org/ps/2405.06670
  84. https://arxiv.org/html/2405.06670v1
  85. http://arxiv.org/format/2405.06670
  86. https://arxiv.org/search/cs?searchtype=author&query=Li,+D
  87. https://arxiv.org/search/cs?searchtype=author&query=Cai,+M
  88. https://arxiv.org/search/cs?searchtype=author&query=Vasile,+C
  89. https://arxiv.org/search/cs?searchtype=author&query=Tron,+R
  90. http://arxiv.org/abs/2405.06664
  91. http://arxiv.org/pdf/2405.06664
  92. http://arxiv.org/ps/2405.06664
  93. https://arxiv.org/html/2405.06664v1
  94. http://arxiv.org/format/2405.06664
  95. https://arxiv.org/search/cs?searchtype=author&query=Jakl,+T
  96. https://arxiv.org/search/cs?searchtype=author&query=Marsden,+D
  97. https://arxiv.org/search/cs?searchtype=author&query=Shah,+N
  98. https://arxiv.org/abs/2304.10196
  99. http://arxiv.org/abs/2405.07975
 100. http://arxiv.org/pdf/2405.07975
 101. http://arxiv.org/ps/2405.07975
 102. https://arxiv.org/html/2405.07975v1
 103. http://arxiv.org/format/2405.07975
 104. https://arxiv.org/search/cs?searchtype=author&query=Lin,+Y
 105. https://arxiv.org/search/cs?searchtype=author&query=Tabajara,+L+M
 106. https://arxiv.org/search/cs?searchtype=author&query=Vardi,+M+Y
 107. http://arxiv.org/abs/2405.07911
 108. http://arxiv.org/pdf/2405.07911
 109. http://arxiv.org/ps/2405.07911
 110. https://arxiv.org/html/2405.07911v1
 111. http://arxiv.org/format/2405.07911
 112. https://arxiv.org/search/cs?searchtype=author&query=Ciobanu,+L
 113. https://arxiv.org/search/cs?searchtype=author&query=Zetzsche,+G
 114. http://arxiv.org/abs/2405.07724
 115. http://arxiv.org/pdf/2405.07724
 116. http://arxiv.org/ps/2405.07724
 117. https://arxiv.org/html/2405.07724v1
 118. http://arxiv.org/format/2405.07724
 119. https://arxiv.org/search/math?searchtype=author&query=Nunes,+F+L
 120. https://arxiv.org/search/math?searchtype=author&query=V%C3%A1k%C3%A1r,+M
 121. http://arxiv.org/abs/2405.06973
 122. http://arxiv.org/pdf/2405.06973
 123. http://arxiv.org/ps/2405.06973
 124. https://arxiv.org/html/2405.06973v1
 125. http://arxiv.org/format/2405.06973
 126. https://arxiv.org/search/cs?searchtype=author&query=Sauerwald,+K
 127. https://arxiv.org/search/cs?searchtype=author&query=Kontinen,+J
 128. http://arxiv.org/abs/2405.06852
 129. http://arxiv.org/pdf/2405.06852
 130. http://arxiv.org/ps/2405.06852
 131. https://arxiv.org/html/2405.06852v1
 132. http://arxiv.org/format/2405.06852
 133. https://arxiv.org/search/math?searchtype=author&query=Holliday,+W+H
 134. http://arxiv.org/abs/2405.06826
 135. http://arxiv.org/pdf/2405.06826
 136. http://arxiv.org/ps/2405.06826
 137. https://arxiv.org/html/2405.06826v1
 138. http://arxiv.org/format/2405.06826
 139. https://arxiv.org/search/cs?searchtype=author&query=Li,+J+M
 140. https://arxiv.org/search/cs?searchtype=author&query=Aytac,+J
 141. https://arxiv.org/search/cs?searchtype=author&query=Johnson-Freyd,+P
 142. https://arxiv.org/search/cs?searchtype=author&query=Ahmed,+A
 143. https://arxiv.org/search/cs?searchtype=author&query=Holtzen,+S
 144. http://arxiv.org/abs/2405.06491
 145. http://arxiv.org/pdf/2405.06491
 146. http://arxiv.org/ps/2405.06491
 147. https://arxiv.org/html/2405.06491v1
 148. http://arxiv.org/format/2405.06491
 149. https://arxiv.org/search/cs?searchtype=author&query=Gheorghiu,+A+V
 150. https://arxiv.org/search/cs?searchtype=author&query=Gu,+T
 151. https://arxiv.org/search/cs?searchtype=author&query=Pym,+D+J
 152. https://arxiv.org/abs/2402.09217
 153. http://arxiv.org/abs/2405.06127
 154. http://arxiv.org/pdf/2405.06127
 155. http://arxiv.org/ps/2405.06127
 156. https://arxiv.org/html/2405.06127v1
 157. http://arxiv.org/format/2405.06127
 158. https://arxiv.org/search/cs?searchtype=author&query=Daly,+R
 159. https://arxiv.org/search/cs?searchtype=author&query=Donovick,+C
 160. https://arxiv.org/search/cs?searchtype=author&query=Terrill,+C
 161. https://arxiv.org/search/cs?searchtype=author&query=Melchert,+J
 162. https://arxiv.org/search/cs?searchtype=author&query=Raina,+P
 163. https://arxiv.org/search/cs?searchtype=author&query=Barrett,+C
 164. https://arxiv.org/search/cs?searchtype=author&query=Hanrahan,+P
 165. http://arxiv.org/abs/2405.06052
 166. http://arxiv.org/pdf/2405.06052
 167. http://arxiv.org/ps/2405.06052
 168. https://arxiv.org/html/2405.06052v1
 169. http://arxiv.org/format/2405.06052
 170. https://arxiv.org/search/eess?searchtype=author&query=Incer,+I
 171. http://arxiv.org/abs/2405.05690
 172. http://arxiv.org/pdf/2405.05690
 173. http://arxiv.org/ps/2405.05690
 174. https://arxiv.org/html/2405.05690v1
 175. http://arxiv.org/format/2405.05690
 176. https://arxiv.org/search/cs?searchtype=author&query=Hayes,+I+J
 177. https://arxiv.org/search/cs?searchtype=author&query=Meinicke,+L+A
 178. https://arxiv.org/search/cs?searchtype=author&query=Evangelou-Oost,+N
 179. http://arxiv.org/abs/2405.05670
 180. http://arxiv.org/pdf/2405.05670
 181. http://arxiv.org/ps/2405.05670
 182. https://arxiv.org/html/2405.05670v2
 183. http://arxiv.org/format/2405.05670
 184. https://arxiv.org/search/cs?searchtype=author&query=Schubert,+A
 185. https://arxiv.org/search/cs?searchtype=author&query=Urzyczyn,+P
 186. https://arxiv.org/search/cs?searchtype=author&query=Zdanowski,+K
 187. http://arxiv.org/abs/2405.05546
 188. http://arxiv.org/pdf/2405.05546
 189. http://arxiv.org/ps/2405.05546
 190. https://arxiv.org/html/2405.05546v1
 191. http://arxiv.org/format/2405.05546
 192. https://arxiv.org/search/cs?searchtype=author&query=Meinicke,+L+A
 193. https://arxiv.org/search/cs?searchtype=author&query=Hayes,+I+J
 194. https://arxiv.org/search/cs?searchtype=author&query=Jones,+C+B
 195. http://arxiv.org/abs/2405.05779
 196. http://arxiv.org/pdf/2405.05779
 197. http://arxiv.org/ps/2405.05779
 198. https://arxiv.org/html/2405.05779v2
 199. http://arxiv.org/format/2405.05779
 200. https://arxiv.org/search/math?searchtype=author&query=Je%C5%99%C3%A1bek,+E
 201. http://arxiv.org/abs/2405.05774
 202. http://arxiv.org/pdf/2405.05774
 203. http://arxiv.org/ps/2405.05774
 204. https://arxiv.org/html/2405.05774v1
 205. http://arxiv.org/format/2405.05774
 206. https://arxiv.org/search/math?searchtype=author&query=Fiore,+M
 207. https://arxiv.org/search/math?searchtype=author&query=Gambino,+N
 208. https://arxiv.org/search/math?searchtype=author&query=Hyland,+M
 209. http://arxiv.org/abs/2405.04998
 210. http://arxiv.org/pdf/2405.04998
 211. http://arxiv.org/ps/2405.04998
 212. https://arxiv.org/html/2405.04998v1
 213. http://arxiv.org/format/2405.04998
 214. https://arxiv.org/search/cs?searchtype=author&query=H%C3%A4ggblom,+M
 215. http://arxiv.org/abs/2405.04872
 216. http://arxiv.org/pdf/2405.04872
 217. http://arxiv.org/ps/2405.04872
 218. https://arxiv.org/html/2405.04872v1
 219. http://arxiv.org/format/2405.04872
 220. https://arxiv.org/search/cs?searchtype=author&query=Li,+Y
 221. https://arxiv.org/search/cs?searchtype=author&query=Tian,+J
 222. https://arxiv.org/search/cs?searchtype=author&query=He,+H
 223. https://arxiv.org/search/cs?searchtype=author&query=Jin,+Y
 224. http://arxiv.org/list/cs.LO/recent?skip=25&show=25
 225. http://arxiv.org/list/cs.LO/recent?skip=0&show=10
 226. http://arxiv.org/list/cs.LO/recent?skip=0&show=27
 227. https://info.arxiv.org/about
 228. https://info.arxiv.org/help
 229. https://info.arxiv.org/help/contact.html
 230. https://info.arxiv.org/help/subscribe
 231. https://info.arxiv.org/help/license/index.html
 232. https://info.arxiv.org/help/policies/privacy_policy.html
 233. https://info.arxiv.org/help/web_accessibility.html
 234. https://status.arxiv.org/
 235. https://subscribe.sorryapp.com/24846f03/email/new
 236. https://subscribe.sorryapp.com/24846f03/slack/new

   Hidden links:
 238. http://arxiv.org/list/cs.LO/{url_path('ignore_me')}
Usage: http://www.kk-software.de/kklynxview/get/URL
e.g. http://www.kk-software.de/kklynxview/get/http://www.kk-software.de
Errormessages are in German, sorry ;-)