Polynomial Time Algorithm Solving the Refutation Tree Problem for Formal Graph Systems

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Bulletin of informatics and cybernetics 1994-03, Vol.26 (1/2), p.55-74
Hauptverfasser:	Uchida, Tomoyuki, Shoudai, Takayoshi, Miyano, Satoru
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!