Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Carolyn L. Talcott, Richard W. Weyhrauch. Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View. In ECAI. pages 634-639, 1990.

@inproceedings{TalcottW90,
  title = {Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional View},
  author = {Carolyn L. Talcott and Richard W. Weyhrauch},
  year = {1990},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/TalcottW90},
  cites = {0},
  citedby = {0},
  pages = {634-639},
  booktitle = {ECAI},
}

runs on WebDSL