Models for the Substitution Axiom of UNITY Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Georg Reichwein, José Luiz Fiadeiro. Models for the Substitution Axiom of UNITY Logic. Inf. Process. Lett., 48(4):171-176, 1993.

@article{ReichweinF93:0,
  title = {Models for the Substitution Axiom of UNITY Logic},
  author = {Georg Reichwein and José Luiz Fiadeiro},
  year = {1993},
  tags = {meta-model, logic, Meta-Environment},
  researchr = {https://researchr.org/publication/ReichweinF93%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Process. Lett.},
  volume = {48},
  number = {4},
  pages = {171-176},
}

runs on WebDSL