Login / Signup
Linear Logic as a Tool for Qualitative and Quantitative Analysis of Workow Processes.
Lígia Maria Soares Passos
Stéphane Julia
Published in:
Int. J. Artif. Intell. Tools (2016)
Keyphrases
</>
linear logic
qualitative and quantitative analysis
quantitative analysis
logical framework
fixed point
proof theoretic
artificial intelligence
expert systems
query language
computer aided
proof search
cut elimination
intuitionistic logic