A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Manfred Schmidt-Schauß. A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation. In IJCAI. pages 1162-1168, 1985.

@inproceedings{Schmidt-Schauss85,
  title = {A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation},
  author = {Manfred Schmidt-Schauß},
  year = {1985},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/Schmidt-Schauss85},
  cites = {0},
  citedby = {0},
  pages = {1162-1168},
  booktitle = {IJCAI},
}

runs on WebDSL