A note on the Hanf number of second-order logic.

机译：关于二阶逻辑的HANF次数的注释。

代理获取

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

页面导航

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

著录项

作者
Matt Kaufmann;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems [J] . Gianluigi Bellin, Alessandro Menti Fundamenta Informaticae . 2014,第1期

机译：关于π演算和共同直觉逻辑。关于并发和λP系统的逻辑说明
2. Adaptive control of second-order plants in the presence of unmodeled dynamics * * This work is supported by the Boeing Strategic University Initiative. [J] . Heather S. Hussain, Anuradha M. Annaswamy, Eugene Lavretsky IFAC PapersOnLine . 2016,第13期

机译：存在未建模动力学时的二阶植物的自适应控制 * * 波音战略大学计划。
3. A Note on the Barut Second-Order Equation [J] . Dvoeglazov V. V. Progress in Physics . 2021,第1期

机译：关于Barut二阶方程的一份说明
4. A note on oscillation criteria for forced second-order nonlinear differential equations with damping [C] . Nina Shang, Fuyi Xu, Huizeng Qin 2010 2nd International Conference on Computer Engineering and Technology.;vol. 1. . 2010

机译：关于带阻尼强迫二阶非线性微分方程振动准则的一个注记
5. On incompleteness in modal logic. An account through second-order logic. [D] . Dumitru, Mircea. 1998

机译：关于模态逻辑的不完备性通过二阶逻辑的帐户。
6. NOTE ON SECOND-ORDER W. K. B. PHASE SHIFTS [O] . Sang-Il Choi, John Ross 1962

机译：关于二阶W. K. B.相移的注意事项
7. The Hanf numbers of stationary logic. II. Comparison with other logics [O] . Shelah, Saharon 1991

机译：Hanf固定逻辑的数量。 II。与其他逻辑比较
8. Note on the Second-Order Convergence of Optimization Algorithms Using BarrierFunctions [R] . Gould, N. I. M., Toint, P. L. 1997

机译：关于使用BarrierFunction的优化算法的二阶收敛性的注记

A note on the Hanf number of second-order logic.

著录项

引文网络

相似文献

相关主题

期刊订阅