scientific article; zbMATH DE number 1980932
From MaRDI portal
Publication:4428306
zbMATH Open1023.03525MaRDI QIDQ4428306FDOQ4428306
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
Title of this publication is not available (Why is that?)
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 (8)
- Relaxed weighted path order in theorem proving
- Flat matching
- Title not available (Why is that?)
- Pattern unification with sequence variables and flexible arity symbols
- Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques
- Str\(\dotplus\)ve and integers
- Solving equations with sequence variables and sequence functions
- Equational Theorem Proving for Clauses over Strings
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)
