-
Dottrina
Informatica e Diritto - Numero 1993-1, Gennaio 1993
Dinamica del sistemi normativi e calcolo degli eventi
1. Premessa. L'uso della programmazione logica nella redazione delle leggi: il problema della formalizzazione. 2. Il problema: la ricostruzione della normativa vigente. 3. Modifiche implicite modifiche esplicite, e deroghe. 4. Lo strumento informatico: il calcolo degli eventi, una rappresentazione logica e computabile per la dinamica degli atti normativi. 5. La formalizzazione degli atti normativi nel calcolo degli eventi. 6. Le modifiche testuali. 7. Appendice: un prototipo per la monodinami...
Raffinare la ricerca
Cercare dentro i 1 resultati per la ricerca “organo hammond”
