Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems.
Antônio Carlos da Rocha CostaPublished in: WEIT (2013)
Keyphrases
- formal methods
- distributed systems
- formal model
- formal languages
- management system
- image reconstruction
- compressed sensing
- theoretical framework
- mathematical theory
- computer systems
- intelligent systems
- expert systems
- neural network
- retrieval systems
- digital libraries
- natural language
- speech acts
- mathematical foundations
- case study
- information retrieval