For the most recent entries see the
Petri Nets Newsletter
.
Keyword: horn clause propositional logic
Watanabe, Toshimasa
;
Mizobata, Yutaka
;
Onaga, Kenji
:
A Petri-Net-Based Algorithm for Proofs in Horn Clause Propositional Logic.
1990.
Watanabe, Toshimasa
;
Mizobata, Yutaka
;
Onaga, Kenji
:
A Petri-Net-Based Algorithm for Proofs in Horn Clause Propositional Logic.
1990.
Watanabe, Toshimasa
;
Mizobata, Yutaka
;
Onaga, Kenji
:
A Petri-Net-Based Analysis of the Satisfiability Problem in the Horn Clause Propositional Logic.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography