AuthorsO. Lysne
TitleProof by Consistency in Constructive Systems With Final Algebra Semantics
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1992
Conference NameProceedings 3rd International Conference on Algebraic and Logic Programming
Pagination276-290
Place PublishedPisa (Italy)
Citation KeyND.5.LYSNE.1992