Program schemes, arrays, Lindström quantifiers and zero-one laws
Theoretical Computer Science
Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Hi-index | 0.89 |