机译:带有术语作为标签的SOS中有界不确定性的统一规则格式
Reykjavik Univ, Sch Comp Sci, ICE TCS, Menntavegur 1, IS-101 Reykjavik, Iceland;
Reykjavik Univ, Sch Comp Sci, ICE TCS, Menntavegur 1, IS-101 Reykjavik, Iceland;
Reykjavik Univ, Sch Comp Sci, ICE TCS, Menntavegur 1, IS-101 Reykjavik, Iceland;
Reykjavik Univ, Sch Comp Sci, ICE TCS, Menntavegur 1, IS-101 Reykjavik, Iceland;
Rule formats; Bounded nondeterminism; Structural operational semantics; Labelled transition systems;
机译:SOS规则格式,用于幂等项和幂一元运算符
机译:具有不确定性和不确定性的自动推送
机译:<重点类型=“斜体”> B MESON衰减常量