Proof by Consistency in Constructive Systems With Final Algebra Semantics

Authors	O. Lysne
Title	Proof by Consistency in Constructive Systems With Final Algebra Semantics
Status	Published
Publication Type	Proceedings, refereed
Year of Publication	1992
Conference Name	Proceedings 3rd International Conference on Algebraic and Logic Programming
Pagination	276-290
Place Published	Pisa (Italy)
Citation Key	ND.5.LYSNE.1992

Search form