scientific article; zbMATH DE number 1980932

MaRDI QIDQ4428306zbMATH OpenFDO

Authors Temur Kutsia

Publication date 15 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2514/25140278.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1182797
• scientific article; zbMATH DE number 2090055
• I-terms in ordered resolution and superposition calculi: retrieving lost completeness
• Pattern unification with sequence variables and flexible arity symbols
• Theorem proving with ordering and equality constrained clauses

Cited in

(9)

• Relaxed weighted path order in theorem proving
• Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques
• Solving equations with sequence variables and sequence functions
• Pattern unification with sequence variables and flexible arity symbols
• scientific article; zbMATH DE number 7379291 (Why is no real title available?)
• Str\(\dotplus\)ve and integers
• Equational Theorem Proving for Clauses over Strings
• Equational theorem proving for clauses over strings
• Flat matching

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428306)