首页> 外文OA文献 >Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

【2h】

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

机译：隶属方程逻辑，多种方程逻辑，具有相等性的Horn逻辑和重写逻辑的反思

代理获取

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

页面导航

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

著录项

作者
Clavel Manuel; Meseguer José; Palomino Miguel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. FLAT ALGEBRAS AND THE TRANSLATION OF UNIVERSAL HORN LOGIC TO EQUATIONAL LOGIC [J] . MARCEL JACKSON Journal of Symbolic Logic . 2008,第1期

机译：平代数和通用角逻辑从等式逻辑的翻译
2. $${mu}$$ $μ$ -calculus]]> [J] . Hirohisa Seki Theoretical and Experimental Plant Physiology . 2017,第3期

机译：<！ “键入=”leinedraw“/> $$ { utationsource> $μ-Calculus]]>$
3. Quantitative Variants of Language Equations and their Applications to Description Logics Extending Unification in Description Logics [J] . Marantidis Pavlos Kunstliche Intelligenz . 2020,第3期

机译：语言方程的定量变体及其应用程序在描述逻辑中扩展统一的逻辑
4. Automatic Abstraction of Equations in a Logic of Equality [C] . Miroslav N. Velev Automated Reasoning with Analytic Tableaux and Related Methods . 2003

机译：等式逻辑中方程的自动抽象
5. SEMANTIC PARAMODULATION FOR HORN SETS (LOGIC, EQUALITY, THEOREM-PROVING). [D] . MCCUNE, WILLIAM WALKER, JR. 1984

机译：角集的语义参数调制（逻辑，等式，定理证明）。
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 2004

机译：成员方程逻辑，多排序方程逻辑，等号角逻辑和重写逻辑的反思
8. Interpreting Abstract Interpretations in Membership Equational Logic [R] . Fischer, Bernd, Rosu, Grigore 2001

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

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

著录项

引文网络

相似文献

相关主题

期刊订阅