咨询与建议

限定检索结果

文献类型

  • 156 篇 会议
  • 43 册 图书
  • 14 篇 期刊文献

馆藏范围

  • 211 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 146 篇 工学
    • 138 篇 计算机科学与技术...
    • 100 篇 软件工程
    • 13 篇 电气工程
    • 13 篇 信息与通信工程
    • 10 篇 控制科学与工程
    • 5 篇 土木工程
    • 3 篇 化学工程与技术
    • 2 篇 建筑学
    • 1 篇 力学(可授工学、理...
    • 1 篇 机械工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 测绘科学与技术
    • 1 篇 轻工技术与工程
    • 1 篇 航空宇航科学与技...
    • 1 篇 农业工程
    • 1 篇 生物医学工程(可授...
  • 56 篇 理学
    • 52 篇 数学
    • 6 篇 统计学(可授理学、...
    • 4 篇 化学
    • 4 篇 生物学
    • 3 篇 系统科学
    • 1 篇 物理学
    • 1 篇 大气科学
    • 1 篇 地球物理学
  • 10 篇 管理学
    • 9 篇 图书情报与档案管...
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 文学
    • 1 篇 新闻传播学
  • 1 篇 农学
    • 1 篇 作物学

主题

  • 22 篇 theory of comput...
  • 22 篇 software enginee...
  • 16 篇 software enginee...
  • 15 篇 logics and meani...
  • 13 篇 mathematical log...
  • 12 篇 programming lang...
  • 11 篇 semantics
  • 10 篇 artificial intel...
  • 10 篇 computation by a...
  • 9 篇 computer softwar...
  • 8 篇 computer system ...
  • 8 篇 programming tech...
  • 8 篇 data structures
  • 8 篇 data structures ...
  • 7 篇 system analysis
  • 6 篇 computer communi...
  • 6 篇 mathematics of c...
  • 5 篇 model checking
  • 5 篇 algorithm analys...
  • 4 篇 discrete mathema...

机构

  • 4 篇 max planck inst ...
  • 3 篇 max planck inst ...
  • 3 篇 univ leicester d...
  • 3 篇 university of ox...
  • 2 篇 department of co...
  • 2 篇 univ sci & tech ...
  • 2 篇 univ london impe...
  • 2 篇 univ bologna dip...
  • 2 篇 cwi dept softwar...
  • 2 篇 univ warwick dep...
  • 2 篇 rwth aachen univ...
  • 2 篇 queen mary univ ...
  • 2 篇 rhein westfal th...
  • 2 篇 tel aviv univ sc...
  • 2 篇 univ oxford dept...
  • 2 篇 imdea software i...
  • 2 篇 the university o...
  • 2 篇 university of ca...
  • 2 篇 univ paris 07 li...
  • 2 篇 univ london quee...

作者

  • 3 篇 zavattaro g
  • 3 篇 uustalu tarmo
  • 3 篇 chistikov dmitry
  • 3 篇 o'hearn p
  • 2 篇 ulidowski irek
  • 2 篇 rabinovich alexa...
  • 2 篇 james worrell
  • 2 篇 busi n
  • 2 篇 sagiv mooly
  • 2 篇 naoki kobayashi
  • 2 篇 anna ingólfsdótt...
  • 2 篇 luca aceto
  • 2 篇 haase christoph
  • 2 篇 furio honsell
  • 2 篇 kurz alexander
  • 2 篇 aceto luca
  • 2 篇 pfenning frank
  • 2 篇 boneva i
  • 2 篇 plump detlef
  • 2 篇 mogens nielsen

语言

  • 204 篇 英文
  • 5 篇 其他
  • 4 篇 中文
检索条件"任意字段=4th International Conference on Foundations of Software Science and Computation Structures"
213 条 记 录,以下是1-10 订阅
排序:
28th international conference on foundations of software science and computation structures, FOSSACS 2025, held as part of the international Joint conferences on theory and Practice of software, ETAPS 2025
28th International Conference on Foundations of Software Sci...
收藏 引用
28th international conference on foundations of software science and computation structures, FOSSACS 2025, held as part of the international Joint conferences on theory and Practice of software, ETAPS 2025
the proceedings contain 19 papers. the special focus in this conference is on foundations of software science and computation structures. the topics include: Fair Quantitative Games;model-Checking Real-Time Systems: R...
来源: 评论
27th international conference on foundations of software science and computation structures, FOSSACS 2024 held as part of the European Joint conferences on theory and Practice of software, ETAPS 2024
27th International Conference on Foundations of Software Sci...
收藏 引用
27th international conference on foundations of software science and computation structures, FOSSACS 2024 held as part of the European Joint conferences on theory and Practice of software, ETAPS 2024
the proceedings contain 12 papers. the special focus in this conference is on foundations of software science and computation structures. the topics include: From Rewrite Rules to Axioms in the λΠ-Calculus Modulo th...
来源: 评论
27th international conference on foundations of software science and computation structures, FOSSACS 2024 held as part of the European Joint conferences on theory and Practice of software, ETAPS 2024
27th International Conference on Foundations of Software Sci...
收藏 引用
27th international conference on foundations of software science and computation structures, FOSSACS 2024 held as part of the European Joint conferences on theory and Practice of software, ETAPS 2024
the proceedings contain 12 papers. the special focus in this conference is on foundations of software science and computation structures. the topics include: From Rewrite Rules to Axioms in the λΠ-Calculus Modulo th...
来源: 评论
25th international conference on foundations of software science and computation structures, FoSSaCS 2022, held as part of the European Joint conferences on theory and Practice of software, ETAPS 2022
25th International Conference on Foundations of Software Sci...
收藏 引用
25th international conference on foundations of software science and computation structures, FoSSaCS 2022, held as part of the European Joint conferences on theory and Practice of software, ETAPS 2022
the proceedings contain 23 papers. the special focus in this conference is on foundations of software science and computation structures. the topics include: A new criterion for M, N -adhesivity, with an application t...
来源: 评论
24th international conference on foundations of software science and computation structures, FOSSACS 2021 held as part of the European Joint conferences on theory and Practice of software, ETAPS 2021
24th International Conference on Foundations of Software Sci...
收藏 引用
24th international conference on foundations of software science and computation structures, FOSSACS 2021 held as part of the European Joint conferences on theory and Practice of software, ETAPS 2021
the proceedings contain 28 papers. the special focus in this conference is on foundations of software science and computation structures. the topics include: Finding cut-offs in leaderless rendez-vous protocols is eas...
来源: 评论
From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting  27th
From Innermost to Full Almost-Sure Termination of Probabilis...
收藏 引用
27th international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the 27th European Joint conferences on theory and Practice of software (ETAPS)
作者: Kassing, Jan-Christoph Frohn, Florian Giesl, Jurgen Rhein Westfal TH Aachen LuFG Informat 2 Aachen Germany
there are many evaluation strategies for term rewrite systems, but proving termination automatically is usually easiest for innermost rewriting. Several syntactic criteria exist when innermost termination implies full... 详细信息
来源: 评论
Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems  27th
Succinctness of Cosafety Fragments of LTL via Combinatorial ...
收藏 引用
27th international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the 27th European Joint conferences on theory and Practice of software (ETAPS)
作者: Geatti, Luca Mansutti, Alessio Montanari, Angelo Univ Udine Udine Italy IMDEA Software Inst Madrid Spain
this paper focuses on succinctness results for fragments of Linear Temporal Logic with Past (LTL) devoid of binary temporal operators like until, and provides methods to establish them. We prove that there is a family... 详细信息
来源: 评论
Fair ω-Regular Games  27th
Fair ω-Regular Games
收藏 引用
27th international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the 27th European Joint conferences on theory and Practice of software (ETAPS)
作者: Hausmann, Daniel Piterman, Nir Saglam, Irmak Schmuck, Anne-Kathrin Univ Gothenburg Gothenburg Sweden Max Planck Inst Software Syst MPI SWS Kaiserslautern Germany
We consider two-player games over finite graphs in which both players are restricted by fairness constraints on their moves. Given a two player game graph G = (V, E) and a set of fair moves E-f subset of E a player is... 详细信息
来源: 评论
Implementation of Image Classification Based on lightweighted Deep Residual Network  4
Implementation of Image Classification Based on lightweighte...
收藏 引用
4th international conference on Neural Networks, Information and Communication Engineering, NNICE 2024
作者: Wang, Dong Chongqing Finance and Economics College Software Institute Chongqing China
Convolutional neural networks have been widely used in visual tasks such as image classification and object detection, and have achieved great success. However, convolutional neural networks typically require a large ... 详细信息
来源: 评论
Context-Free Languages of String Diagrams  28th
Context-Free Languages of String Diagrams
收藏 引用
28th international conference on foundations of software science and computation structures, FOSSACS 2025, held as part of the international Joint conferences on theory and Practice of software, ETAPS 2025
作者: Earnshaw, Matt Román, Mario Department of Software Science Tallinn University of Technology Tallinn Estonia Department of Computer Science University of Oxford Oxford United Kingdom
We introduce context-free languages of morphisms in monoidal categories, extending recent work on the categorification of context-free languages, and regular languages of string diagrams. Context-free languages of str... 详细信息
来源: 评论