Adding For-Loops to First-Order Logic
Frank Neven, Martin Otto, Jurek Tyszkiewicz, Jan Van den BusscheVolume:
168
Year:
2001
Language:
english
Pages:
31
DOI:
10.1006/inco.2000.2961
File:
PDF, 246 KB
english, 2001