Proof by Consistency in Constructive Systems With Final Algebra Semantics
- Authors
- O. Lysne
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1992
- Journal
- Proceedings 3rd International Conference on Algebraic and Logic Programming
- Publisher
- -
- Citation key
- 9964