English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Journal Article

A Completion Procedure for Conditional Equations

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-S0747717108801320-main.pdf
(Publisher version), 2MB

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

Ganzinger, H. (1991). A Completion Procedure for Conditional Equations. Journal of Symbolic Computation, 11(1-2), 51-81. doi:10.1016/S0747-7171(08)80132-0.


Cite as: https://hdl.handle.net/21.11116/0000-000E-165C-3
Abstract
There is no abstract available