Ingrown-Toenail
发表于 2025-3-21 19:48:40
书目名称Relational and Kleene-Algebraic Methods in Computer Science影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0826127<br><br> <br><br>书目名称Relational and Kleene-Algebraic Methods in Computer Science读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0826127<br><br> <br><br>
怕失去钱
发表于 2025-3-21 21:20:29
Fixed-Point Characterisation of Winning Strategies in Impartial GamesWe use fixed-point calculus to characterise winning strategies in impartial, two-person games. A byproduct is the fixed-point characterisation of winning, losing and stalemate positions. We expect the results to be most useful in teaching calculational reasoning about least and greatest fixed points.
Mercurial
发表于 2025-3-22 03:24:00
http://reply.papertrans.cn/83/8262/826127/826127_3.png
glomeruli
发表于 2025-3-22 05:29:05
http://reply.papertrans.cn/83/8262/826127/826127_4.png
秘方药
发表于 2025-3-22 12:17:58
Calculational Relation-Algebraic Proofs in Isabelle/IsarWe propose a collection of theories in the proof assistant Isabelle/Isar that support calculational reasoning in and about heterogeneous relational algebras and Kleene algebras.
Wordlist
发表于 2025-3-22 16:10:30
A Calculus of Typed RelationsA calculus of typed relations subsuming the classical relational database theory is presented. An associated sound and complete deduction mechanism is developed. The formulation is generalized to deal with nondeterministic databases and information relations in the rough set-style.
Inordinate
发表于 2025-3-22 17:11:54
978-3-540-22145-6Springer-Verlag Berlin Heidelberg 2004
谄媚于性
发表于 2025-3-22 22:16:38
Relational and Kleene-Algebraic Methods in Computer Science978-3-540-24771-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
LAVE
发表于 2025-3-23 01:28:01
http://reply.papertrans.cn/83/8262/826127/826127_9.png
Oratory
发表于 2025-3-23 09:09:04
Towards a Formalisation of Relational Database Theory in Constructive Type Theoryh successive formalisation is of more generality, and correspondingly more complex, than the previous one. All our work is carried out in the proof editor Alfa for Martin-Löf’s monomorphic type theory. Our goal is to obtain a formalisation that provides us with computational content, instead of just being a completely abstract theory.