Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

An ordering linear unification algorithm

From MaRDI portal
Publication:1824410
Jump to:navigation, search

DOI10.1007/BF02943985zbMath0682.68092OpenAlexW2092343141MaRDI QIDQ1824410

Yunfa Hu

Publication date: 1989

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943985


zbMATH Keywords

unification algorithm


Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)




Cites Work

  • Linear unification
  • An Efficient Unification Algorithm
  • Unnamed Item




This page was built for publication: An ordering linear unification algorithm

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1824410&oldid=14188975"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 09:53.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki