• Computer Science
  • Published 1992

LDS-labelled deductive systems

@inproceedings{Gabbay1992LDSlabelledDS,
  title={LDS-labelled deductive systems},
  author={Dov M. Gabbay},
  year={1992}
}

Citations

Publications citing this paper.
SHOWING 1-10 OF 19 CITATIONS