发布文献求助
求助中
  • 文献求助详情
标题
Inductive definitions in logic versus programs of real-time cellular automata
逻辑中的归纳定义与实时元胞自动机程序
相关领域
计算机科学 网格 理论计算机科学 可实现性 数学 离散数学 算法 几何学
网址
https://doi.org/10.1016/j.tcs.2023.114355
AI链接 archives-ouvertes.fr normandie-univ.hal.science archives-ouvertes.fr archives-ouvertes.frdoi.org
DOI
10.1016/j.tcs.2023.114355 doi
其它 期刊：Theoretical Computer Science
作者：Étienne Grandjean; Théo Grente; Véronique Terrier
出版日期：2023-12-27
求助人
mashibeo 在 2025-06-02 05:54:07 发布自法国，悬赏 10 积分
下载 暂无链接，等待应助者上传
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Introduction to Formal Realizability Theory-I
  2. Diagnostic Information for Realizability
  3. Safe Realizability of High-Level Message Sequence Charts*
  4. Algorithms to Realize Directed Communication Nets
  5. Realizability Toposes from Specifications
  6. Network realizability for interconnected systems over arbitrary one-step delay networks
  7. Realizability Toposes from Specifications
  8. Examination of Schumann's method of judging the realizability of turbulence closure models
  9. Integrating Realizability Checking in FRET
  10. A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
　...点击展开更多...　
求助 / 应助时间线

  • 现在，等待您上传文献

  • 1天前

    mashibeo mashibeo Lv736 求助人 驳回了 科研通AI2S 上传的文件

    说明
    Sorry. I need the journal version.

  • 1天前

    科研通AI2S 科研通AI2S 机器人Lv12 上传了文件

    已驳回 logic_rtCA.pdf (1.16 MB)
    温馨提示：本文件中的下载IP、机构等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 1天前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    05:54:11 未找到该文献，机器人已退出，请等待人工下载
    05:54:07 科研通AI机器人（北京）收到请求，开始寻找文献
    05:54:07 已向机器人发送请求

  • 1天前

    mashibeo mashibeo Lv736 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
我不会拉杆完成签到，获得积分10
1秒前
bbb发布了新的文献求助10
1秒前
www111发布了新的文献求助10
1秒前
Singularity的应助被123采纳，获得10
2秒前
3秒前
3秒前
飞翔发布了新的文献求助10
4秒前
SYLH的应助被熬夜写论文采纳，获得10
4秒前
4秒前
李健的粉丝团团长的应助被just采纳，获得10
5秒前
5秒前
6秒前
6秒前
苟玉琴完成签到，获得积分10
6秒前
7秒前
7秒前
basil完成签到，获得积分10
7秒前
8秒前
8秒前
miumiu完成签到，获得积分10
8秒前
柠檬泡芙发布了新的文献求助10
9秒前
9秒前
孙子钊完成签到，获得积分10
9秒前
10秒前
10秒前
lulu666666发布了新的文献求助10
11秒前
西瓜发布了新的文献求助10
12秒前
SSQY发布了新的文献求助10
12秒前
浅浅浅兮完成签到，获得积分10
12秒前
和十四条发布了新的文献求助10
13秒前
漠之梦发布了新的文献求助10
15秒前
摇摇七喜发布了新的文献求助30
16秒前
17秒前
18秒前
深情安青的应助被江屿采纳，获得10
18秒前
希望天下0贩的0的应助被解语花采纳，获得100
19秒前
红红火火h发布了新的文献求助10
19秒前
Eternity完成签到，获得积分10
19秒前
20秒前
20秒前
高分求助中
【提示信息，请勿应助】请使用合适的网盘上传文件 10000
Continuum Thermodynamics and Material Modelling 2000
Chinesen in Europa – Europäer in China: Journalisten, Spione, Studenten 1200
Deutsche in China 1920-1950 1200
Electron microscopy study of magnesium hydride (MgH2) for Hydrogen Storage 800
Green Star Japan: Esperanto and the International Language Question, 1880–1945 800
Sentimental Republic: Chinese Intellectuals and the Maoist Past 800
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 物理 生物化学 纳米技术 计算机科学 化学工程 内科学 复合材料 物理化学 电极 遗传学 量子力学 基因 冶金 催化作用
热门帖子
关注 科研通微信公众号，转发送积分 3871187
求助须知：如何正确求助？哪些是违规求助？ 3413299
关于积分的说明 10683969
捐赠科研通 3137766
什么是DOI，文献DOI怎么找？ 1731163
邀请新用户注册赠送积分活动 834643
科研通“疑难数据库（出版商）”最低求助积分说明 781250
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通