Processing may take a few seconds...

Published in

Journal: ACM Transactions on Computational Logic

Year 2014
Points of MNiSW

40.0

Impact Factor

0.618

Journal volumes

This website uses cookies to remember the authenticated session of the user. For more information, read about Cookies and Privacy Policy.