Rules of definitional reflection

[1993] Proceedings Eighth Annual IEEE Symposium on …, 1993 - ieeexplore.ieee.org
The author discusses two rules of definitional reflection: the logical version of definitional
reflection, as used in the extended logic programming language GCLA, and the omega …
被引用次数：174 相关文章
[PDF] psu.edu

[PDF][PDF] Rules of Definitional Reflection

P Schroeder-Heister - Citeseer
This paper discusses two rules of definitional reflection: The “logical” version of definitional
reflection as used in the extended logic programming language GCLA and the “ω”-version of …

[引用][C] Rules of definitional reflection

P Schroeder-Heister - [1993] Proceedings Eighth Annual IEEE Symposium on … - cir.nii.ac.jp
Rules of definitional reflection | CiNii Research CiNii 国立情報学研究所 学術情報ナビゲータ[サイニィ
] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす 日本の博士 …

Rules of definitional reflection

P Schroeder-Heister - Proceedings of 8th Annual IEEE Symposium on …, 1993 - computer.org
Membrane pollution is the main obstacle to the popularization and application of MBR. In
order to solve the problem that the influence factors of membrane fouling are more …
[PDF] archive.org

[PDF][PDF] Rules of Definitional Reflection

P Schroeder-Heister - scholar.archive.org
This paper discusses two rules of definitional reflection: The “logical” version of definitional
reflection as used in the extended logic programming language GCLA and the “ω”-version of …