logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
L

Logical Methods in Computer Science

IF1
论文数39
被引数1
期刊论文 39
发表时间
delete
ENUMERATION AND UPDATES FOR CONJUNCTIVE LINEAR ALGEBRA QUERIES THROUGH EXPRESSIBILITY合取线性代数查询的枚举与通过可表示性的更新
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete1
PREAI
deleteMunoz, Thomas; Riveros, Cristian; Vansummeren, Stijn
delete分享
delete收藏
POSITIONALITY IN Σ02 AND A COMPLETENESS RESULTΣ02中的位置性及完备性结果
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteOhlmann, Pierre; Skrzypczak, Micha l
delete分享
delete收藏
DENSE INTEGER-COMPLETE SYNTHESIS FOR BOUNDED PARAMETRIC TIMED AUTOMATA密集整数完全合成方法用于有界参数化时间自动机
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteAndre, Etienne; Lime, Didier; Roux, Olivier H.
delete分享
delete收藏
FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING使用UPPAAL对合同自动机运行时环境的形式化分析：建模、验证与测试
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteBasile, Davide
delete分享
delete收藏
TERMINATION OF GRAPH TRANSFORMATION SYSTEMS VIA GENERALIZED WEIGHTED TYPE GRAPHS通过广义加权类型图终止图变换系统
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteEndrullis, Jorg; Overbeek, Roy
delete分享
delete收藏
A SCALABLE GAME-THEORETIC APPROACH FOR SELECTING SECURITY CONTROLS FROM STANDARDIZED CATALOGUES基于标准化目录的安全控制选择的可扩展博弈论方法
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteLeveille, Dylan; Jaskolka, Jason
delete分享
delete收藏
ONLINE MONITORING OF METRIC TEMPORAL LOGIC USING SEQUENTIAL NETWORKS基于序列网络的度量时序逻辑在线监测
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteUlus, Dogan
delete分享
delete收藏
USING WEAKEST APPLICATION CONDITIONS TO RANK GRAPH TRANSFORMATIONS FOR GRAPH REPAIR使用最弱应用条件对图修复中的图变换进行排序
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteFritsche, Lars; Lauer, Alexander; Kratz, Maximilian; Schurr, Andy; Taentzer, Gabriele
delete分享
delete收藏
PRIME FACTORIZATION IN MODELS OF PV1PV1模型的素分解
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteJezil, Ondrej
delete分享
delete收藏
TIGHTER BOUNDS FOR QUERY ANSWERING WITH GUARDED TGDS带保护TGDs的查询回答更紧致的上界
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteAmarilli, Antoine; Benedikt, Michael
delete分享
delete收藏
CAUSAL GRAPH DYNAMICS AND KAN EXTENSIONS因果图动力学与Kan扩张
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteMaignan, Luidnel; Spicher, Antoine
delete分享
delete收藏
ON POLYNOMIAL-TIME DECIDABILITY OF k-NEGATIONS FRAGMENTS OF FIRST-ORDER THEORIES关于一阶理论中k-否定片段的多项式时间可判定性
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteHaase, Christoph; Mansutti, Alessio; Pouly, Amaury
delete分享
delete收藏
SIMPLE CLASSES OF AUTOMATIC STRUCTURES自动结构简单类
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteBlumensath, Achim
delete分享
delete收藏
FBFL: A FIELD-BASED COORDINATION APPROACH FOR DATA HETEROGENEITY IN FEDERATED LEARNINGFBFL：一种用于联邦学习中数据异构性的基于字段协调方法
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteDomini, Davide; Aguzzi, Gianluca; Esterle, Lukas; Viroli, Mirko
delete分享
delete收藏
PEBBLE GAMES AND ALGEBRAIC PROOF SYSTEMS弹珠游戏与代数证明系统
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteJaser, Lisa-marie; Toran, Jacobo
delete分享
delete收藏
UNIFYING GRADED LINEAR LOGIC AND DIFFERENTIAL OPERATORS统一分级线性逻辑与微分算子
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteBreuvart, Flavien; Kerjean, Marie; Mirwasser, Simon
delete分享
delete收藏
EMPIRICAL MEASURES AND STRONG LAWS OF LARGE NUMBERS IN CATEGORICAL PROBABILITY在分类概率中的经验测度与大数强定律
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteFritz, Tobias; Gonda, Tomas; Lorenzin, Antonio; Perrone, Paolo; Mohammed, Areeb Shah
delete分享
delete收藏
LOCALIZED RETE FOR INCREMENTAL GRAPH QUERIES WITH NESTED GRAPH CONDITIONS嵌套图条件下的局部rete算法用于增量图查询
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteBarkowsky, Matthias; Giese, Holger
delete分享
delete收藏
AN OBJECTIVE IMPROVEMENT APPROACH TO SOLVING DISCOUNTED PAYOFF GAMES求解折扣支付博弈的一种客观改进方法
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteDell'erba, Daniele; Dumas, Arthur; Schewe, Sven
delete分享
delete收藏
HOMOTOPY TYPE THEORY AS A LANGUAGE FOR DIAGRAMS OF ∞-LOGOSES同伦类型论作为∞-Logo的图表语言
deleteLogical Methods in Computer Science
IF1
delete2026-01-01
delete0
PREAI
deleteUemura, Taichi
delete分享
delete收藏