Programming Systems Lab: Publications by Moritz Hardt

Saarland University Computer Science

Select author:

2007

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic   (pdf)
Moritz Hardt, Gert Smolka
Electronic Notes in Theoretical Computer Science


Login to edit


Webmaster, Mon May 30 13:48:30 2016