Loop elimination, a sound optimisation technique for PTTP related theorem proving
Date
Type
egyéb konferenciaközlemény
Container Title
Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications
Gender
konferenciaközlemény