1 |
A Formally Verified Interpreter for a Shell-like Programming Language
|
|
|
|
In: VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.archives-ouvertes.fr/hal-01534747 ; VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany (2017)
|
|
BASE
|
|
Show details
|
|
6 |
The first-order theory of lexicographic path orderings is undecidable ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
The first-order theory of lexicographic path orderings is undecidable
|
|
|
|
BASE
|
|
Show details
|
|
|
|