A Verified Decision Procedure for the First-Order Theory of Rewriting - CPP 2021 talk from cl informatik Watch Video
Preview(s):
Gallery
Gallery
Gallery
Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
Jump To Video Parts
⏲ Duration: 27 minutes 44 seconds 👁 View: 26 times
Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)