Searching for authors named "Paul Brauner" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Normalization in supernatural deduction and in deduction modulo. Available at http://hal.inria.fr/ inria-00141720
by Paul Brauner, Gilles Dowek, Benjamin Wack — 2007
…Normalization in Supernatural deduction and in Deduction modulo Paul Brauner 1 , Gilles Dowek 2…
Cited by 3 (2 self) – Add To MetaCart

Contents
by Fabrice Nahon, Claude Kirchner Hélène, Kirchner Paul Brauner
… · Claude Kirchner · Hélène Kirchner · Paul Brauner the date of receipt and acceptance should be inserted…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB