Image | ![]() |
---|---|
Description | article by Olaf Beyersdorff & Sebastian Müller published 1 July 2010 in ACM Transactions on Computational Logic |
Author/s |
author: Olaf Beyersdorff |
Publication date | July 1, 2010 |
Language | |
Country of origin | |
Wikipedia link | |
Copyright status | |
Missing/wrong data? | Edit Wikidata item |
Paulina is supported by:
About Paulina