![[RDF data]](https://dblp.l3s.de/d2r/snorql/rdf_flyer.24.gif)
| Property | Value |
|---|---|
| dcterms:bibliographicCitation | <http://dblp.uni-trier.de/rec/bibtex/phd/hal/Bousdira90> |
| dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Wadoud_Bousdira> |
| foaf:homepage | <https://tel.archives-ouvertes.fr/tel-01751005> |
| dc:identifier | DBLP phd/hal/Bousdira90 (xsd:string) |
| dcterms:issued | 1990 (xsd:gYear) |
| rdfs:label | Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos. (Study of conditional term rewriting system properties. Making use of two algorithms for testing confluence on ground terms). (xsd:string) |
| foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Wadoud_Bousdira> |
| dc:publisher | National Polytechnic Institute of Lorraine, Nancy, France (xsd:string) |
| owl:sameAs | <http://bibsonomy.org/uri/bibtexkey/phd/hal/Bousdira90/dblp> |
| owl:sameAs | <http://dblp.rkbexplorer.com/id/phd/hal/Bousdira90> |
| rdfs:seeAlso | <https://tel.archives-ouvertes.fr/tel-01751005> |
| dc:title | Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos. (Study of conditional term rewriting system properties. Making use of two algorithms for testing confluence on ground terms). (xsd:string) |
| dc:type | <http://purl.org/dc/dcmitype/Text> |
| rdf:type | swrc:PhDThesis |
| rdf:type | foaf:Document |