Hilbert’s epsilon as an operator of indefinite committed choice (2009)

by Claus-peter Wirth
Citations:2 - 2 self

Active Bibliography

JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
Searchable Online Edition – Universität Des Saarlandes, Claus-peter Wirth, Chad E. Brown - 2006
543 Model Theory – Wilfrid Hodges - 2000
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
638 Generation and Synchronous Tree-Adjoining Grammars – Stuart M. Shieber, Yves Schabes - 1990
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
288 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
260 Splitting a Logic Program – Vladimir Lifschitz, Hudson Turner - 1994
249 Stable models and an alternative logic programming paradigm – Victor W. Marek - 1999