Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jürgen Stuber
A Model-Based Completeness Proof of Extended Narrowing and Resolution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
PB-277 Literal Resolution: A Simple Proof of Resolution Completeness
DAIMI Report Series
Extracting the Resolution Algorithm From a Completeness Proof for the Propositional Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Proof of the Completeness Theorem of Grödel
Fundamenta Mathematicae
Number Theory
Algebra
A Mechanical Proof of the Turing Completeness of Pure Lisp
Contemporary Mathematics
Mathematics
Extended Programmes: Widening Participation by Narrowing Content
Compass: Journal of Learning and Teaching
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Proof Theory for Generic Judgments: An Extended Abstract
Model-Based Combined Tracking and Resolution Enhancement
Proceedings - International Conference on Pattern Recognition
Computer Vision
Pattern Recognition
Representation and Duality of the Untyped Λ-Calculus in Nominal Lattice and Topological Semantics, With a Proof of Topological Completeness
Annals of Pure and Applied Logic
Logic
