Towards State Update Axioms: Reifying Successor State Axioms

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Towards State Update Axioms: Reifying Successor State Axioms

Michael ThielscherMichael Thielscher
Towards State Update Axioms: Reifying Successor State Axioms


Michael Thielscher
Towards State Update Axioms: Reifying Successor State Axioms
In L.F. del Cerro and J. Dix and U. Furbach, eds., Proceedings of JELIA 98, volume 1489 of LNAI, 248-263, 1998. Springer
The final publication is available at Springer.
@inproceedings{T1998,
  author    = {Michael Thielscher},
  title     = {Towards State Update Axioms: Reifying Successor State Axioms},
  editor    = {L.F. del Cerro and J. Dix and U. Furbach},
  booktitle = {Proceedings of {JELIA} 98},
  series    = {LNAI},
  volume    = {1489},
  publisher = {Springer},
  year      = {1998},
  pages     = {248-263}
}