《理论计算机科学》第763卷
第763卷,2019年4月
庆余河 , 徐罗山 :
弱代数信息系统和域DOM的一个新的等价范畴。 1-11 拉文德席尔瓦 , 林·帕德汉姆 , 塞巴斯蒂安·萨迪尼亚 :
经典规划问题的类HTN解决方案:BDI代理系统的应用。 12-37 恰拉·博迪 , 琳达·布罗多 , 罗伯托·布鲁尼 :
开放多方交互的正式方法。 38-65 杰里·阿达梅克 , 斯特凡·米利乌斯 :
关于保持余积的函子和具有迭代性的代数。 66-87