Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/lam/Buchberger83

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/80/4001 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage	https://doi.org/10.1007/3-540-13331-3_39 +
https://dblp.org/rdf/schema#doi	https://doi.org/10.1007/3-540-13331-3_39 + , http://dx.doi.org/10.1007/3-540-13331-3_39 +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/lam/lam1983 +
https://dblp.org/rdf/schema#numberOfCreators	1
https://dblp.org/rdf/schema#pagination	137-161
https://dblp.org/rdf/schema#primaryDocumentPage	https://doi.org/10.1007/3-540-13331-3_39 +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/lam/1983 +
https://dblp.org/rdf/schema#publishedIn	Logic and Machines
https://dblp.org/rdf/schema#publishedInBook	Logic and Machines
https://dblp.org/rdf/schema#title	A critical-pair/completion algorithm for finitely generated ideals in rings.
https://dblp.org/rdf/schema#yearOfEvent	1983
https://dblp.org/rdf/schema#yearOfPublication	1984
owl:sameAs	https://doi.org/10.1007/3-540-13331-3_39 + , http://dx.doi.org/10.1007/3-540-13331-3_39 +
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	Bruno Buchberger: A critical-pair/completion algorithm for finitely generated ideals in rings. (1983)

	This page has no properties.

Navigation menu