A bijective proof of an enumerative property of legal bracketings.

Saad Benchekroun Paul Moszkowski

Published in: Discret. Math. (1997)

Keyphrases

legal knowledge
legal texts
legal documents
argumentation schemes
proceedings of the th international conference
integer programming
desirable properties
theorem proving
monotonicity property
case law
linear logic
intellectual property
real world
theorem prover
similarity measure
case study
information systems