Don't care non-determinism in logic program refinement

Autoria(s): Hemer, D. G.; Colvin, R.; Hayes, I. J.; Strooper, P. A.
Data(s)

01/01/2001
Identificador

http://espace.library.uq.edu.au/view/UQ:83906
Idioma(s)

eng
Publicador

Software Verification Research Centre, The University of Queensland
Palavras-Chave #K #010107 Mathematical Logic, Set Theory, Lattices and Universal Algebra #0803 Computer Software
Tipo

Department Technical Report
Acesso ao item digital