Sign in

Structural logical relations with case analysis and equality reasoning.

Ulrik Terp RasmussenAndrzej Filinski
Published in: LFMTP (2013)
Keyphrases
  • real time
  • structural analysis
  • legal cases
  • structural information
  • quantitative analysis
  • logical reasoning
  • statistical analysis
  • logical framework
  • logical structure