메뉴 건너뛰기




Volumn 1421, Issue , 1998, Pages 144-159

Superposition for divisible torsion-free abelian groups

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; BIOMINERALIZATION; CALCULATIONS; THEOREM PROVING; TORSIONAL STRESS;

EID: 84957102804     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0054257     Document Type: Conference Paper
Times cited : (11)

References (9)
  • 1
    • 84957866579 scopus 로고
    • Associative-commutative superposition
    • Nachum Dershowitz and Naomi Lindenstrauss, eds., Jerusalem, Israel, July 13-15,, LNCS 968, Springer-Verlag
    • Leo Bachmair and Harald Ganzinger. Associative-commutative superposition. In Nachum Dershowitz and Naomi Lindenstrauss, eds., Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, LNCS 968, pp. 1-14. Springer-Verlag.
    • (1994) Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94 , pp. 1-14
    • Bachmair, L.1    Ganzinger, H.2
  • 2
    • 0005483198 scopus 로고
    • Rewrite-based equational theorem proving with selection and simplification
    • Leo Bachmair and Harald Ganzinger. Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3): 217-247, 1994.
    • (1994) Journal of Logic and Computation , vol.4 , Issue.3 , pp. 217-247
    • Bachmair, L.1    Ganzinger, H.2
  • 3
    • 79955723230 scopus 로고    scopus 로고
    • Theorem proving in cancellative abelian monoids (extended abstract)
    • Michael A. McRobbie and John K. Slaney, eds., New Brunswick, NJ, USA, July 30-August 3,, LNAI 1104, Springer-Verlag
    • Harald Ganzinger and Uwe Waldmann. Theorem proving in cancellative abelian monoids (extended abstract). In Michael A. McRobbie and John K. Slaney, eds., Automated Deduction-CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996, LNAI 1104, pp. 388-402. Springer-Verlag.
    • (1996) Automated Deduction-CADE-13, 13th International Conference on Automated Deduction , pp. 388-402
    • Ganzinger, H.1    Waldmann, U.2
  • 4
    • 0030101584 scopus 로고    scopus 로고
    • Normalized rewriting: An alternative to rewriting modulo a set of equations
    • March
    • Claude Marché. Normalized rewriting: an alternative to rewriting modulo a set of equations. Journal of Symbolic Computation, 21(3): 253-288, March 1996.
    • (1996) Journal of Symbolic Computation , vol.21 , Issue.3 , pp. 253-288
    • Marché, C.1
  • 6
    • 84957617657 scopus 로고    scopus 로고
    • Superposition theorem proving for abelian groups represented as integer modules
    • Harald Ganzinger, ed., RTA-96, New Brunswick, NJ, USA, July 27-30,, LNCS 1103,. Springer-Verlag
    • Jürgen Stuber. Superposition theorem proving for abelian groups represented as integer modules. In Harald Ganzinger, ed., Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, LNCS 1103, pp. 33-47. Springer-Verlag.
    • (1996) Rewriting Techniques and Applications, 7th International Conference , pp. 33-47
    • Stuber, J.1
  • 9
    • 0004037628 scopus 로고
    • Technical Report MPI-I-92-216, Max-Planck-Institut für Informatik, Saarbrücken, Germany, April
    • Ulrich Wertz. First-order theorem proving modulo equations. Technical Report MPI-I-92-216, Max-Planck-Institut für Informatik, Saarbrücken, Germany, April 1992.
    • (1992) First-order theorem proving modulo equations
    • Wertz, U.1


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