Probabilistic logic over equations and domain restrictions
Mordido, Andreia, Caleiro, CarlosVolume:
29
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s096012951800035x
Date:
June, 2019
File:
PDF, 609 KB
english, 2019