Encephalitis
发表于 2025-3-25 05:31:16
http://reply.papertrans.cn/83/8262/826124/826124_21.png
踉跄
发表于 2025-3-25 10:14:22
http://reply.papertrans.cn/83/8262/826124/826124_22.png
Terrace
发表于 2025-3-25 14:38:09
Wolfram Kahl,Michael Winter,José OliveiraIncludes supplementary material:
cuticle
发表于 2025-3-25 18:36:04
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meetsed programming language Agda, we build on a previous formalisation of the category of contexts to obtain a fully verified abstract implementation of the duality between contexts and complete lattices in the abstract setting of locally ordered categories with converse, residuals, symmetric quotients, and direct powers.
大方一点
发表于 2025-3-25 23:12:28
http://reply.papertrans.cn/83/8262/826124/826124_25.png
边缘带来墨水
发表于 2025-3-26 02:50:39
http://reply.papertrans.cn/83/8262/826124/826124_26.png
确定方向
发表于 2025-3-26 05:33:29
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826124.jpg
追踪
发表于 2025-3-26 11:53:03
https://doi.org/10.1007/978-3-319-24704-5Algebraic language theory; Automata theory; Database design and models; Formal languages; Logic and veri
STENT
发表于 2025-3-26 14:16:56
http://reply.papertrans.cn/83/8262/826124/826124_29.png
Atmosphere
发表于 2025-3-26 17:12:40
http://reply.papertrans.cn/83/8262/826124/826124_30.png