English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Journal Article

Order-sorted Completion: The Many-sorted Way

MPS-Authors
/persons/resource/persons44474

Ganzinger,  Harald
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

1-s2.0-030439759090105Q-main.pdf
(Publisher version), 2MB

Supplementary Material (public)
There is no public supplementary material available
Citation

Ganzinger, H. (1991). Order-sorted Completion: The Many-sorted Way. Theoretical computer science, 89(1), 3-32. doi:10.1016/0304-3975(90)90105-Q.


Cite as: https://hdl.handle.net/11858/00-001M-0000-0023-C34B-D
Abstract
There is no abstract available