Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
Certified symbolic management of financial multi-party contracts
Patrick Bahr, Jost Berthold,
Martin Elsman
Datalogisk Institut
17
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Certified symbolic management of financial multi-party contracts'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Domain-specific Languages
100%
Contract Management
100%
Denotational Semantics
100%
Symbolic Management
100%
Multi-party Contracts
100%
Financial Institutions
50%
Contract-based
50%
Type Systems
50%
Domain Analysis
50%
Principle of Causality
50%
Algebraic Properties
50%
Automation Level
50%
Numeric Methods
50%
Haskell
50%
Multiple Parties
50%
Contract Analysis
50%
Software Vulnerability
50%
Inference Methods
50%
Contract Language
50%
Financial Domain
50%
Reduction Semantics
50%
Type Inference
50%
Management Functionality
50%
Financial Contracts
50%
Proof Assistants
50%
Management Software
50%
Computer Science
Domain-specific language
100%
Denotational Semantics
100%
Formalization
50%
Type System
50%