SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2002, Pages 7-16

Automatic decidability

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; CONSTRAINT THEORY; DATA STRUCTURES; POLYNOMIALS;

INFERENCE RULES;

DECISION THEORY;

EID: 0036052663 PISSN: 10436871 EISSN: None Source Type: Journal
DOI: 10.1109/LICS.2002.1029813 Document Type: Article

Times cited : (26)

References (10)

1
- 15544374811
- Uniform derivation of decision procedures by superposition
- LNCS
- (2001) Proceedings 15th Workshop on Computer Science Logic , vol.2142 , pp. 513-527
- Armando, A.¹ Ranise, S.² Rusinowitch, M.³

3
- 0005483198
- Rewrite-based equational theorem proving with selection and simplification
- (1994) Journal of Logic and Computation , vol.4 , Issue.3 , pp. 1-31
- Bachmair, L.¹ Ganzinger, H.²

4
- 84937429063
- Abstract congruence closure and specializations
- LNCS
- (2000) Proceedings 17th Conference on Automated Deduction , vol.1831 , pp. 64-78
- Bachmair, L.¹ Tiwari, A.²

5
- 0001987904
- Automated complexity analysis based on ordered resolution
- (2001) J. Association for Computing Machinery , vol.48 , Issue.1 , pp. 70-109
- Basin, D.¹ Ganzinger, H.²

6
- 84910829499
- Termination of rewriting
- (1987) Journal of Symbolic Computation , vol.3 , pp. 69-116
- Dershowitz, N.¹

7
- 84947715642
- Shostak's congruence closure as completion
- LNCS
- (1997) Proceedings 8th Conference on Rewriting Techniques and Applications , vol.1232 , pp. 23-37
- Kapur, D.¹

8
- 0004173988
- Technical Report CSL-81-10, Xerox Palo Alto Research Center, June
- (1981) Techniques for Program Verification
- Nelson, G.¹

9
- 0019003680
- Fast decision procedures based on congruence closure
- (1980) J. Association for Computing Machinery , vol.27 , Issue.2 , pp. 356-364
- Nelson, G.¹ Oppen, D.C.²

10
- 0034858360
- A decision procedure for an extensional theory of arrays
- IEEE Computer Society Press
- (2001) Proceedings 16th IEEE Symposium on Logic in Computer Science , vol.2937
- Stump, A.¹ Dill, D.L.² Barrett, C.W.³ Levitt, J.⁴

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.