Skolem Normal Forms Concerning the Least Fixpoint

@inproceedings{Dahlhaus1987SkolemNF,
  title={Skolem Normal Forms Concerning the Least Fixpoint},
  author={Elias Dahlhaus},
  booktitle={Computation Theory and Logic},
  year={1987}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…