Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers

Details Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers

2010-12-21

arxiv.org/abs/1012.4555v1

EPTCS 43, 2010

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.43

This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International Conference on Interactive Theorem Proving (ITP 2010), itself part of the Federated Logic Conference 2010 (FLoC 2010). This workshop is a venue for researchers working on new approaches to cope with partial functions and terminating general (co)recursion in theorem provers.

Affiliated with

Also associated with

No associations

Rating

Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-95234