咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是61-70 订阅
排序:
Ambiguity, Weakness, and Regularity in Probabilistic Buchi Automata  23rd
Ambiguity, Weakness, and Regularity in Probabilistic Buchi A...
收藏 引用
23rd international conference on foundations of software science and computation structures (FoSSaCS) Held as Part of the European Joint conferences on theory and Practice of software (ETAPS)
作者: Loeding, Christof Pirogov, Anton Rhein Westfal TH Aachen Templergraben 55 D-52062 Aachen Germany
Probabilistic Buchi automata are a natural generalization of PFA to infinite words, but have been studied in-depth only rather recently and many interesting questions are still open. PBA are known to accept, in genera... 详细信息
来源: 评论
Program logic and equivalence in the presence of garbage collection
Program logic and equivalence in the presence of garbage col...
收藏 引用
4th international conference on foundations of software science and computation structures
作者: Calcagno, C O'Hearn, P Bornat, R Univ London Queen Mary & Westfield Coll Dept Comp Sci London E1 4NS England
it is generally thought that reasoning about programs in memory safe, garbage collected languages is much easier than in languages where the programmer has more explicit control over memory. Paradoxically, existing pr... 详细信息
来源: 评论
foundations of software science and computation structures  1
收藏 引用
丛书名: Lecture Notes in Computer science
1000年
作者: Javier Esparza Andrzej S. Murawski
this book constitutes the proceedings of the 20th international conference on foundations of software science and computation structures, FOSSACS 2017, which took place in Uppsala, Sweden in April 2017, held as Part o... 详细信息
来源: 评论
On finite alphabets and infinite bases: From ready pairs to possible worlds
收藏 引用
7th international conference on foundations of software science and computation structures
作者: Fokkink, W Nain, S CWI Dept Software Engn NL-1090 GB Amsterdam Netherlands Vrije Univ Amsterdam Dept Theoret Comp Sci NL-1081 HV Amsterdam Netherlands Indian Inst Technol Dept Comp Sci & Engn New Delhi 110016 India
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readiness equivalence and no finer than possi... 详细信息
来源: 评论
Bicategories in univalent foundations  4
Bicategories in univalent foundations
收藏 引用
4th international conference on Formal structures for computation and Deduction, FSCD 2019
作者: Ahrens, Benedikt Frumin, Dan Maggesi, Marco van der Weide, Niels School of Computer Science University of Birmingham United Kingdom Institute for Computation and Information Sciences Radboud University Nijmegen Netherlands Dipartimento di Matematica e Informatica "Dini" Università degli Studi di Firenze Italy
We develop bicategory theory in univalent foundations. Guided by the notion of univalence for (1-)categories studied by Ahrens, Kapulkin, and Shulman, we define and study univalent bicategories. To construct examples ... 详细信息
来源: 评论
Generalizations of the compactness theorem and Godel's completeness theorem for nonstandard finite structures
Generalizations of the compactness theorem and Godel's compl...
收藏 引用
4th international conference on theory and Applications of Models of computation
作者: Ajtai, Miklos IBM Research Almaden Research Center United States
the compactness theorem and Godel's completeness theorem are perhaps the most important tools of mathematical logic for creating extensions of an existing model of a given theory. Unfortunately none of these theor... 详细信息
来源: 评论
Robust Multidimensional Mean-Payoff Games are Undecidable  18th
Robust Multidimensional Mean-Payoff Games are Undecidable
收藏 引用
18th international conference on foundations of software science and computation structures (FoSSaCS)
作者: Velner, Yaron Tel Aviv Univ Blavatnik Sch Comp Sci IL-69978 Tel Aviv Israel
Mean-payoff games play a central role in quantitative synthesis and verification. In a single-dimensional game a weight is assigned to every transition and the objective of the protagonist is to assure a non-negative ... 详细信息
来源: 评论
foundations of software science and computation structures  1
收藏 引用
丛书名: Lecture Notes in Computer science
1000年
作者: Stefan Kiefer Christine Tasson
this open access book constitutes the proceedings of the 24th international conference on foundations of software science and computational structures, FOSSACS 2021, which was held during March 27 until April 1, ... 详细信息
来源: 评论
foundations of software science and computation structures  1
Foundations of Software Science and Computation Structures
收藏 引用
丛书名: Lecture Notes in Computer science
1000年
作者: Parosh Aziz Abdulla Delia Kesner
this open access book constitutes the proceedings of the 28th international conference on foundations of software science and computation structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025... 详细信息
来源: 评论
Linearity and bisimulation  5th
收藏 引用
5th international conference on foundations of software science and computation structures (FOSSACS 2002)
作者: Yoshida, N Honda, K Berger, M Univ Leicester Leicester LE1 7RH Leics England Queen Mary Univ London London E1 4NS England
We introduce a theory of weak bisimilarity for the pi-calculus with linear type structure [35] in which we abstract away not only tauactions but also non-tau actions which do not affect well-typed environments. this g... 详细信息
来源: 评论