首页> 外文OA文献 >Finite Model Finding Using the Logic of Equality with Uninterpreted Functions

【2h】

Finite Model Finding Using the Logic of Equality with Uninterpreted Functions

机译：使用具有未解释功能的平等逻辑的有限模型

代理获取

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

AI期刊论文写作 >>

页面导航

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

著录项

作者
Amirhossein Vakili; Nancy A. Day;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Building small equality graphs for deciding equality logic with Uninterpreted Functions [J] . Yoav Rodeh, Ofer Strichman Information and computation . 2006,第1期

机译：建立小的相等图以决定具有未解释函数的相等逻辑
2. Satisfiability Checking For Logic With Equality And Uninterpreted Functions Under Equivalence Constraints [J] . Hiroaki KOZAWA, Kiyoharu HAMAGUCHI, Toshinobu KASHIWABARA IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences . 2007,第12期

机译：等价约束下具有相等性和未解释函数的逻辑的可满足性检查
3. TLSim and EVC: a term-level symbolic simulator and an efficient decision procedure for the logic of equality with uninterpreted functions and memories [J] . Miroslav N. Velev, Randal E. Bryant International Journal of Embedded Systems . 2005,第1a2期

机译：TLSim和EVC：术语级别的符号模拟器和有效的决策程序，用于具有未解释功能和存储的相等逻辑
4. Finite Model Finding Using the Logic of Equality with Uninterpreted Functions [C] . Amirhossein Vakili, Nancy A. Day International symposium on formal methods . 2016

机译：使用未解释函数的等式逻辑进行有限模型查找
5. Finding presheaf models for the finite pi-calculus. [D] . Beaulieu, Guy. 2002

机译：为有限的pi演算找到放样模型。
6. A RET-supported logic gate combinatorial library to enable modeling and implementation of intelligent logic functions [O] . Ru-Ru Gao, Shuo Shi, Ying Zhu, 2016

机译：RET支持的逻辑门组合库可实现智能逻辑功能的建模和实现
7. Building small equality graphs for deciding equality logic with uninterpreted functions [O] . Rodeh Yoav, Strichman Ofer 2006

机译：建立小的相等图以决定具有未解释函数的相等逻辑
8. Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic [R] . Bryant, R. E. , German, S. , Velev, M. N. 1999

机译：处理器验证使用有效减少未解释函数的逻辑到命题逻辑

Finite Model Finding Using the Logic of Equality with Uninterpreted Functions

著录项

引文网络

相似文献

相关主题

期刊订阅