The hardness of the grid problem Gi Under the Routine Resolution Method

, &
Mathematical Logic Quarterly 33 (1):79-84 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19870330110

Other Versions

reprint Wenqi, Huang; Chusheng, Lai; Zhixiang, Chen (1987) "The hardness of the grid problemGi Under the Routine Resolution Method". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33(1):79-84

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Decidability of ∀*∀‐Sentences in Membership Theories.Eugenio G. Omodeo, Franco Parlamento & Alberto Policriti - 1996 - Mathematical Logic Quarterly 42 (1):41-58.
Huang Chen Chi Ch I Chu Tzu Hsüeh.Cheng-hua Lin - 1976 - Chia Hsin Shui Ni Kung Ssu Wen Hua Chi Chin Hui.
Parallel Theories and Routine Revision in First-Order Logic.Gerold Stahl - 1987 - Mathematical Logic Quarterly 33 (5):457-459.
Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscript
On Different Concepts of Resolution.Alexander Leitsch - 1989 - Mathematical Logic Quarterly 35 (1):71-77.
Book Review: CHEN Lai, Tradition and Modernity: A Humanist View, translated by Edmund Ryden. Leiden: Brill, 2009. 386 pp. ISBN: 9789004165786. [REVIEW]Yves Vendé - 2012 - Frontiers of Philosophy in China 7 (4):682-687.
Chen Lai zi xuan ji.Lai Chen - 1997 - Guilin Shi: Guangxi shi fan da xue chu ban she.
Hardness assumptions in the foundations of theoretical computer science.Jan Krajíček - 2005 - Archive for Mathematical Logic 44 (6):667-675.
Chen Lai jiang tan lu.Lai Chen - 2014 - Beijing: Jiu zhou chu ban she.

Analytics

Added to PP
2013-12-01

Downloads
15 (#1,243,005)

6 months
2 (#1,693,059)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references