Noemie Slaats 1 – 4 of 4 publications Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Filter publications Download search results Subscribe to news feed Add to list PhD Thesis Logische grondslagen van VDM specificaties in mural Noemie Slaats (1999) 1-2. Add to list Journal Article A1 The non-definedness notion in expert systems D Van Heule, Albert Hoogewijs (UGent) and Noemie Slaats (1999) INFORMATION SCIENCES. 114(1-4). p.53-62 Add to list Conference Paper C3 Semantic tableaux in LPF and the adequacy theorem Noemie Slaats and Albert Hoogewijs (UGent) (1999) BULLETIN OF SYMBOLIC LOGIC. 5. Add to list Book Chapter Shared memory synchronization Noemie Slaats, B Vanassche and Albert Hoogewijs (UGent) (1998) Proof in VDM : case studies. In FACIT p.123-156
