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

A practical unification algorithm

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

DOI10.1016/0020-0255(91)90009-JzbMath0714.68093MaRDI QIDQ751312

Paul Walton jun. Purdom

Publication date: 1991

Published in: Information Sciences (Search for Journal in Brave)


zbMATH Keywords

unification algorithm


Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic programming (68N17)




Cites Work

  • Unnamed Item
  • About the Paterson-Wegman linear unification algorithm
  • Linear unification
  • Literate Programming
  • Worst-case Analysis of Set Union Algorithms
  • An Efficient Unification Algorithm
  • Efficiency of a Good But Not Linear Set Union Algorithm
  • A Machine-Oriented Logic Based on the Resolution Principle




This page was built for publication: A practical unification algorithm

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