FA Sign in

Discover references

Matthew S.

Books

2 results

Cover of ACM Transactions on Computational Logic

English Unordered

ACM Transactions on Computational Logic

Japaridze, Giorgi

2006 April 01 View book

Cover of ACM Transactions on Computational Logic

English Unordered

ACM Transactions on Computational Logic

Bauer, Matthew S.

2014 March 06 View book