Well-foundedness of the Recursive Path Ordering in Coq

Autor: de Kleijn, N., Koprowski, A., van Raamsdonk, F.

Publikováno v: de Kleijn, N, Koprowski, A & van Raamsdonk, F 2004, Well-foundedness of the Recursive Path Ordering in Coq . in Proceedings of the Dutch Proof Tools Day 2004 .
Proceedings of the Dutch Proof Tools Day 2004

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ae95d4bcfd6cc8771ae3a67f67728dcd
https://research.vu.nl/en/publications/69093642-39ba-4ca6-aaaa-224e61daf9c0

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Control of a high precision stage using a walking piezo actuator.

Autor: Merry, R., de Kleijn, N., van de Molengraft, R., Steinbuch, M.

Publikováno v: 2007 IEEE International Conference on Control Applications; 2007, p1285-1290, 6p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.