Baudinet, Marianne
Baudinet, M.
VIAF ID: 38555773 ( Personal )
Permalink: http://viaf.org/viaf/38555773
Preferred Forms
- 100 1 _ ‡a Baudinet, M.
- 100 1 0 ‡a Baudinet, Marianne
Works
Title | Sources |
---|---|
On the semantics of temporal logic programming (preliminary report) | |
Proving termination properties of PROLOG programs : a semantic approach |