Loop Detection by Logically Constrained Term Rewriting

Proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, pp.309-321

Lecture Notes in Computer Science

10th International Conference on Verified Software. Theories, Tools, and Experiments (VSTTE 2018) (Oxford, 18/07/2018–19/07/2018)

2018

:

https://hdl.handle.net/10863/52695

(1)

url

https://link.springer.com/chapter/10.1007/978-3-030-03592-1_18

: Loop Detection by Logically Constrained Term Rewriting
: Naoki Nishida - Nagoya University
Sarah Maria Winkler - Universität Innsbruck
: Proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, pp.309-321
: Piskac R, Rümmer P
: 9783030035914
: 9783030035921
: 0302-9743
: 1611-3349
: 10th International Conference on Verified Software. Theories, Tools, and Experiments (VSTTE 2018) (Oxford, 18/07/2018–19/07/2018)
: Lecture Notes in Computer Science
: Springer
: 13
: 978-303003591-4
(UNIBZ)70708066
991006785895301241
: 2-s2.0-85057365032
: Faculty of Engineering
: English
: Conference proceeding
: Nishida N, Winkler SM
: Editors/Supervisors: Piskac R, Rümmer P
description: Record is part of a bulk validation set

1