• CC-Pi

  • Referenced in 26 articles [sw15033]
  • nominal calculi than to variables with existential quantification. In the resulting framework, SLA requirements...
  • LOCKSMITH

  • Referenced in 10 articles [sw20224]
  • sharing analysis for inferring thread locality; existential quantification for modeling locks in data structures...
  • Vadalog

  • Referenced in 2 articles [sw33095]
  • extended with features such as existential quantification. Yet, Datalog-based reasoning in the presence ... existential quantification is in general undecidable. Many efforts have been made to define decidable fragments...
  • PAGOdA

  • Referenced in 3 articles [sw17539]
  • captured by rules allowing for existential quantification and disjunction in the head; our only assumption...
  • GRAQULA

  • Referenced in 2 articles [sw02637]
  • allow nesting, and can involve existential or universal quantification. Aggregates (e.g. average) also have user...
  • ArgoCLP

  • Referenced in 11 articles [sw07192]
  • formulae is restricted to the universal quantification of an implication in which the antecedent ... succedent is a disjunction of existentially quantified formulae which are conjunctions of atoms.par Coherent logic...
  • Nuprl

  • Referenced in 387 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • 1ML

  • Referenced in 4 articles [sw19983]
  • 1ML -- core and modules united (F-ing first...
  • Datalog

  • Referenced in 280 articles [sw20023]
  • Datalog is a declarative logic programming language that...