Adding For-Loops to First-Order Logic

Adding For-Loops to First-Order Logic

Frank Neven, Martin Otto, Jurek Tyszkiewicz, Jan Van den Bussche
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
168
Year:
2001
Language:
english
Pages:
31
DOI:
10.1006/inco.2000.2961
File:
PDF, 246 KB
english, 2001
Conversion to is in progress
Conversion to is failed