程序设计中的逻辑和代数方法杂志，第131卷

优化列表

显示全部 ??记录

第131卷，2023年2月

发行与并发逻辑与类别特刊——纪念安娜·拉布拉退休通过图和图变换描述和建模计算系统的专题常规用品2021年互动与并发体验专刊常规用品第31届北欧规划理论研讨会专刊（NWPT 2018）
服务莱布尼茨信息中心（Schloss Dagstuhl）

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。