Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Guo Qiang Zhang

PB-277 Literal Resolution: A Simple Proof of Resolution Completeness

DAIMI Report Series
1989English

Related publications

A Model-Based Completeness Proof of Extended Narrowing and Resolution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Extracting the Resolution Algorithm From a Completeness Proof for the Propositional Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2005English

A Proof of the Completeness Theorem of Grödel

Fundamenta Mathematicae
Number TheoryAlgebra
1950English

Improved Separations of Regular Resolution From Clause Learning Proof Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2014English

Cellular Resolution Panretinal Imaging of Optogenetic Probes Using a Simple Funduscope

Translational Vision Science and Technology
OphthalmologyBiomedical Engineering
2012English

A Mechanical Proof of the Turing Completeness of Pure Lisp

Contemporary Mathematics
Mathematics
1984English

Input Distance and Lower Bounds for Propositional Resolution Proof Length

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Low-Resolution View of High-Resolution Spectroscopy

Publications of the Astronomical Society of the Pacific
AstrophysicsAstronomyPlanetary ScienceSpace
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy