首页> 外文OA文献 >A Coinductive Treatment for Infinitary Rewriting and Equational Reasoning

【2h】

A Coinductive Treatment for Infinitary Rewriting and Equational Reasoning

机译：无限式重写和方程式推理的协纳处理

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Endrullis J.; Hansen H.H.; Hendriks D.; Polonsky A.; Silva A.;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Coinductive Framework for Infinitary Rewriting and Equational Reasoning [J] . J{o}rg Endrullis, Helle Hvid Hansen, Dimitri Hendriks, LIPIcs : Leibniz International Proceedings in Informatics . 2015,第1期

机译：无限式重写和方程式推理的协纳框架
2. Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic [J] . Silva Alexandra, Polonsky Andrew, Hendriks Dimitri, Logical Methods in Computer Science . 2018,第1期

机译：无限式重写和无限式方程逻辑的共归基础
3. Infinitary Rewriting Coinductively [J] . J{o}rg Endrullis, Andrew Polonsky LIPIcs : Leibniz International Proceedings in Informatics . 2013,第4期

机译：归纳式的无限式重写
4. Equational reasoning about LOTOS specifications: a rewriting approach [C] . De Nicola, R., Inverardi, . 1991

机译：关于LOTOS规范的方程式推理：一种重写方法
5. Equational Reasoning Modulo Background Theories [D] . Kim, Dohan. 2021

机译：作证推理模型背景理论
6. Rewriting the human genome rewriting human rights law? Human rights human dignity and human germline modification in the CRISPR era [O] . Britta C van Beers 2020

机译：重写人类基因组重写人权法？克里普尔特时代的人权人权人体尊严和人种种系改性
7. A Coinductive Framework for Infinitary Rewriting and Equational Reasoning [O] . Endrullis Jörg, Hansen Helle Hvid, Hendriks Dimitri, 2015

机译：一个用于信息重写和平等推理的共同框架
8. Behavioural Differential Equations: A Coinductive Calculus and Streams, Automata, and Power Series. Software Engineering (SEN). [R] . Rutten, J. J. M. 2000

机译：行为微分方程：同源微积分和流，自动机和幂级数。软件工程（sEN）。

A Coinductive Treatment for Infinitary Rewriting and Equational Reasoning

著录项

引文网络

相似文献

相关主题

期刊订阅