Searching for "Disjunctive Logic Program = Horn Program Control Program." – sorted by Relevance.
-
Meta-CASE Worldwide
- -time systems. 8/98 Wenjin Lu, Ulrich Furbach. Disjunctive logic program = Horn Program + Control program. 7
- Cited by 1 (0 self) – Add To MetaCart
-
Workflow Modeling according to WfMC
- -time systems. 8/98 Wenjin Lu, Ulrich Furbach. Disjunctive logic program = Horn Program + Control program. 7
- Add To MetaCart
-
Schedulability Criteria for Age Constraint Processes in Hard Real-Time Systems
- /98 Wenjin Lu, Ulrich Furbach. Disjunctive logic program = Horn Program + Control program. 7/98 Andreas
- Add To MetaCart

