Inproceedings,

Fixpoint Extensions of First-Order Logic and Datalog-Like Languages

, and .
LICS, page 71-79. IEEE Computer Society, (1989)

Meta data

Tags

Users

  • @dblp

Comments and Reviews