Discover open access scientific publications

Search, annotate, share and cite publications

Publications by W. Buchholz

A New System of Proof-Theoretic Ordinal Functions

Annals of Pure and Applied Logic

English

Related publications

Introduction: Proof-Theoretic Semantics

Social Sciences

English

A Proof Theoretic View of Constraint Programming

Fundamenta Informaticae

Information Systems

Computational Theory

Theoretical Computer Science

English

Proof-Theoretic Methods in Nonlinear Analysis

English

Advances in Proof-Theoretic Semantics: Introduction

Trends in Logic

English

A Proof-Theoretic Trust and Reputation Model for VANET

English

Proof Without Words: A Graph Theoretic Decomposition of Binomial Coefficients

Mathematics Magazine

English

An Information Theoretic Measure for the Evaluation of Ordinal Scale Data

Behavior Research Methods

Educational Psychology

Cognitive Psychology

English

A Representation-Theoretic Proof of the Branching Rule for Macdonald Polynomials

Mathematical Research Letters

English

Recursive Functions Defined by Ordinal Recursions

Proceedings of the American Mathematical Society

Applied Mathematics

English