• 学术搜索
  • 科研智能体
    • Research Labs
    • AI 阅读
    • AI 文库
    • 深度研究
    • 学者亮点
  • 学术资源
    • AI2000
    • 期刊/会议
    • 学者库
    • 学术API
      MCP&Skill
    • 溯源树
    • 数据集
  • 知识沉淀
    • 学术空间
订阅小程序
旧版功能
aminer vip
开通会员低至0.73元/天
一次搞定AI科研
立即登录
  • English
  • 联系方式
    arXiv: Formal Languages and Automata Theory

    arXiv: Formal Languages and Automata Theory

    Journal

    年发文量

    研究主题

    论文(263)

    排序
    暂无数据
    暂无数据

    高被引作者

    作者引用发文
    Marie Farrell2181
    Clare Dixon2181
    Matt Luckcuck2181
    Michael Fisher2181
    Louise A. Dennis2181
    Thomas Place1604
    Marc Zeitoun1414
    Emmanuel Filiot1227
    Alexandra Silva771
    Bartek Klin771

    高产作者

    作者引用发文
    Emmanuel Filiot1227
    Rudolf Freund616
    Kai Salomaa385
    Martin Kutrib195
    Rupak Majumdar565
    Pierre-Alain Reynier625
    Markus Holzer345
    Thomas Place1604
    Jan Philipp Wächter274
    Marc Zeitoun1414

    相关期刊

    Symposium/Workshop on Haskell
    Typed Lambda Calculus and Applications
    International Conference on Concurrency Theory
    Formal Structures for Computation and Deduction
    Asian Symposium on Programming Languages and Systems
    International Workshop/Symposium on Logic-based Program Synthesis and Transformation
    Mathematical Foundations of Programming Semantics
    Mathematics of Program Construction
    International Conference on Relational and Algebraic Methods in Computer Science
    Journal of formalized reasoning