Integration of decision procedures into high-order interactive provers.
Media
Part of Integration of decision procedures into high-order interactive provers.
- Title
- Integration of decision procedures into high-order interactive provers.
- Identifier
- AAI3204956:pdf