Structural logical relations with case analysis and equality reasoning.

Ulrik Terp Rasmussen Andrzej Filinski

Published in: LFMTP (2013)

Keyphrases

real time
structural analysis
legal cases
structural information
quantitative analysis
logical reasoning
statistical analysis
logical framework
logical structure