Abstract congruence closure and specializations?

被引：0

作者：

Department of Computer Science, State University of New York, Stony Brook ^{[1
]}

11794-4400, United States

机构：

来源：

Lect. Notes Comput. Sci. | 1600年 / 64-78期

关键词：

Compendex;

D O I：

17th International Conference on Automated Deduction, CADE 2000

中图分类号：

学科分类号：

摘要：

Computers

引用

共 50 条

[31] REMARKS ON CONGRUENCE RELATIONS AND WEAK AUTOMORPHISMS IN ABSTRACT ALGEBRAS
URBANIK, K
COLLOQUIUM MATHEMATICUM, 1969, 20 (01) : 1 - &
[32] Abstract derivation of transitive closure algorithms
Philips Research Lab, Eindhoven, Netherlands
Inf Process Lett, 3 (159-164):
[33] Scientific background of the vacuum closure - An abstract
Willy, C
Gerngross, H
ZENTRALBLATT FUR CHIRURGIE, 2004, 129 : S6 - S6
[34] Abstract derivation of transitive closure algorithms
Feijs, LMG
vanOmmering, RC
INFORMATION PROCESSING LETTERS, 1997, 63 (03) : 159 - 164
[35] ABSTRACT PROPERTIES OF S-ARITHMETIC GROUPS AND THE CONGRUENCE PROBLEM
PLATONOV, VP
RAPINCHUK, AS
RUSSIAN ACADEMY OF SCIENCES IZVESTIYA MATHEMATICS, 1993, 40 (03): : 455 - 476
[36] Conditional Congruence Closure over Uninterpreted and Interpreted Symbols
KAPUR Deepak
JournalofSystemsScience&Complexity, 2019, 32 (01) : 317 - 355
[37] Extending finite model searching with congruence closure computation
Zhang, J
Zhang, HT
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 94 - 102
[38] Intuitionistic Fuzzy Congruence Relations on Intuitionistic Fuzzy Abstract Algebras
Yilmaz, Sinem Tarsuslu
Citil, Mehmet
GAZI UNIVERSITY JOURNAL OF SCIENCE, 2019, 32 (02): : 649 - 658
[39] Intuitionistic fuzzy congruence relations on intuitionistic fuzzy abstract algebras
Tarsuslu Yilmaz, Sinem
Citil, Mehmet
Gazi University Journal of Science, 2019, 32 (02): : 649 - 658
[40] Conditional Congruence Closure over Uninterpreted and Interpreted Symbols
Kapur, Deepak
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 32 (01) : 317 - 355

← 1 2 3 4 5 →