FA Sign in

Discover references

formalmethods

Books

2 results

Cover of Journal of Applied Logic

English Unordered

Journal of Applied Logic

Wenyan Xu; Sanyang Liu

2012 December View book

Cover of ACM Transactions on Computational Logic

English Unordered

ACM Transactions on Computational Logic

Japaridze, Giorgi

2006 April 01 View book