首页> 外文OA文献 >Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)

【2h】

Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)

机译：隶属方程逻辑，归纳结构演算和重写逻辑（扩展摘要）

代理获取

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

页面导航

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

著录项

作者
Jouannaud Jean-Pierre;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions [J] . SOLANGE COUPET-GRIMAL Journal of logic and computation . 2003,第6期

机译：归纳结构演算中线性时间逻辑的公理化
2. Comparing logics for rewriting: rewriting logic, action calculi and tile logic [J] . Fabio Gadducci, Ugo Montanari Theoretical computer science . 2002,第2期

机译：比较重写逻辑：重写逻辑，动作计算和切片逻辑
3. Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties [J] . George Voutsadakis Order . 2006,第4期

机译：分类抽象代数逻辑：有序方程逻辑和可代数PoVarieties
4. Prime Implicate Generation in Equational Logic (extended abstract) [C] . Mnacho Echenim, Nicolas Peltier, Sophie Tourret International Joint Conference on Artificial Intelligence . 2018

机译：Prime inclicate在公式逻辑中产生（扩展摘要）
5. Aligning English Sentences with Abstract Meaning Representation Graphs using Inductive Logic Programming [D] . Agarwal, Shubham. 2017

机译：使用归纳逻辑编程将英语句子与抽象含义表示图对齐
6. Modelling with ANIMO: between fuzzy logic and differential equations [O] . Stefano Schivo, Jetse Scholma, Paul E. van der Vet, 2016

机译：用ANIMO建模：在模糊逻辑和微分方程之间
7. Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic [O] . Clavel Manuel, Meseguer José, Palomino Miguel 2007

机译：隶属方程逻辑，多种方程逻辑，具有相等性的Horn逻辑和重写逻辑的反思
8. Interpreting Abstract Interpretations in Membership Equational Logic [R] . Fischer, Bernd, Rosu, Grigore 2001

机译：解释会员等式逻辑中的抽象解释

Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)

著录项

引文网络

相似文献

相关主题

期刊订阅